Conferences 2022

January 2022

• VMCAI 2022 23rdd International Conference on Verification, Model Checking, and Abstract Interpretation, 16-18 January 2022, Philadelphia, Pennsylvania,
• POPL 2022 The 49th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 16-21 January 2022, Philadelphia, Pennsylvania,
• PADL 2022 24th International Symposium on Practical Aspects of Declarative Languages, Philadelphia, Pennsylvania, 17-18th January 2022
• CPP 2022 Certified Programs and Proofs, Philadelphia, Pennsylvania, 17-18th January 2022
• OpenModelica/MODPROD Workshops Linkoping/Hybrid, Jan 31-Feb 2, 2022

February 2022

• CSL 2022 Computer Science Logic, 14-19 February, Göttingen, Germany

March 2022

• PDP 2022 30th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, Valladolid, Spain, March 9-11, 2022.
• DATE 2022 Design, Automation, and Test in Europe, Antwerp, Belgium, 14-15 March, 2022

April 2022

• ETAPS 2022 25th European Joint Conferences on Theory and Practice of Software, Munich, Germany April 2-7, 2022.
• ICST 2022 15th IEEE International Conference on Software Testing, Verification and Validation, 4-13 April 2022, Virtualandia

May 2022

• CPS-IoT Week 2022 Cyber Physical Systems and Internet-of-Things Week, Milan, Italy May 4-6
  including
  • HSCC 2022 Hybrid Systems: Computation and Control, May 4-6
  • ICCPS 2022 9th ACM/IEEE International Conference on Cyber-Physical Systems,
  • IPSN 2022 17th ACM/IEEE International Conference on Information Processing in Sensor Networks,
  • RTAS 2022 24th IEEE Real-Time and Embedded Technology and Applications Symposium,
  • IoTDI 2022 ACM/IEEE Conference on Internet of Things Design and Implementation,
• IEEE S & P 2022 IEEE Symposium on Security and Privacy, May 22-26, 2022, San Francisco, CA
• NFM 2022 The 14th NASA Formal Methods Symposium, 24-27 May 2022 Pasadena, CA, USA

June 2022

• ECOOP 2022 The 36th European Conference on Object-Oriented Programming 6-10 June 2022, Berlin, Germany.
• EuroSP 2022 7th IEEE European Symposium on Security and Privacy, June 6-10, 2022 Genoa (Italy)
• iFM 2022 17th International Conference on integrated Formal Methods 7-10 June 2022, Lugano, Switzerland
• DisCoTec 2022 16th International Federated Conference on Distributed Computing Techniques, Lucca, Italy, 13-17 June 2022
  • FORTE 2022 Formal Techniques for Networked and Distributed Systems,
  • DAIS 2022 IFIP international conference on Distributed Applications and Interoperable Systems,
  • Coordination 2022 Languages, Models, and Architectures for Concurrent and Distributed Software,
• IFIP SEC 2022 The 37th International Conference on ICT Systems Security and Privacy Protection, 13–17 June 2022, Copenhagen Denmark, held Hybrid
• DisCoTec 2022 17th International Federated Conference on Distributed Computing Techniques, Lucca, Italy, 13-17 June 2022
  • FORTE 2022 42nd Formal Techniques for Networked and Distributed Systems,
  • DAIS 2022 22th IFIP international conference on Distributed Applications and Interoperable Systems,
  • Coordination 2022 Languages, Models, and Architectures for Concurrent and Distributed Software,
• PLDI 2022 ACM Conference on Programming Language Design and Implementation June 20-24, 2022, San Diego, CA

July 2022

• SAMOS XXII International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, Samos, Greece, July 3-7 2022
• ICALP 2022 International Colloquium on Automata, Languages and Programming, 4 - 8 July, in Paris, and online
• RC 2022 14th Conference on Reversible Computation, July 5th-6th, 2022, Urbino, Italy
• FloC 2022 Federated Logic Conference, July 31 - August 12, Haifa, Israel, including (incomplete list)
  • ICLP 2022 38th International Conference on Logic Programming, Aug. 2-8
  • LICS 2022 Thirty-Seventh Annual ACM/IEEE Symposium on Logic in Computer Science
  • CAV 2022 34th International Conference on Computer Aided Verification, Aug. 7-10
• TASE 2022 16th International Symposium on Theoretical Aspects of Software Engineering, July 8-10, Cluj-Napoca, Romania

August 2022

• 31st USENIX Security Symposium, August 10-12, 2020, Boston, MA, USA

September 2022

• Erlang 2022 September 11, 2022.
• QONFEST 2022 September 12 - 17 2022, Warsaw, Poland, including
  • CONCUR 2022 The 33rd International Conference on Concurrency Theory,
  • QEST 2022 19th International Conference on Quantitative Evaluation of SysTems,
  • FORMATS 2022 20th International Conference on Formal Modeling and Analysis of Timed Systems
  • FMICS 2022 27th International Conference on Formal Methods for Industrial Critical Systems,
• KLEE 2022 3rd International KLEE Workshop on Symbolic Execution, London and online, 15-16 September 2022
• LOPSTR 2022 32nd International Symposium on Logic-Based Program Synthesis and Transformation Tbilisi, Georgia and Virtual -- 21-23 September 2022.
• FMAS 2022 Fourth Workshop on Formal Methods for Autonomous Systems, September 26-27, 2022.
• Computational Logic Autumn Summit Mon 19 - Fri 30 September 2022, Tbilisi, Georgia, Including
  • MPC 2022 14th International Conference on Mathematics of Program Construction, Mon 26 - Wed 28 September 2022,
  • ICTAC The 19th International Colloquium on Theoretical Aspects of Computing, September 27-29, 2022
  • RV 2022 22nd International Conference on Runtime Verification, September 28-30, 2022.

October 2022

• Embedded Systems Week 2022 Hybrid-Shanghai, October 7 - 14, 2022, including
  • CODES + ISSS International Conference on Hardware/Software Codesign and System Synthesis
  • EMSOFT International Conference on Embedded Software
  • CASES International Conference on Compilers, Architecture and Synthesis for Embedded Systems
• FACS'22 18th International Conference on Formal Aspects of Component Software, Oslo, Norway, 10-11 November, 2022 (online)
• VSTTE 2022 14th International Conference on Verified Software: Theories, Tools, and Experiments,Trento, Italy. Oct. 17-18, 2022
• FMCAD 2022 Formal Methods in Computer-Aided Design 2022, Trento, Italy. Oct. 19-21, 2022
• ATVA 2022 20th International Symposium on Automated Technology for Verification and Analysis, October 25-28, 2022, Beijing, China.
• ISOLA 2022 International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct. 24 - Nov. 3, 2022, Rhodes, Greece.

November 2022

• NWPT 2022 33rd Nordic Workshop on Programming Theory, Bergen, Norway, 2-4 November 2022
• FACS'22 18th International Conference on Formal Aspects of Component Software, Oslo, Norway, 10-11 November, 2022 (online)
• SPLASH 2022 (w. OOPSLA) The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity, Auckland, New Zealand, November 14-19, 2022.

December 2022

• SAS 2022 29th Static Analysis Symposium Auckland, New Zealand, December 5th-7th, 2022
• RTSS 2022 43rd IEEE Real-Time Systems Symposium, December 5-8, 2022, Houston, USA