Interesting Conferences

June 2021

• DisCoTec 2021 16th International Federated Conference on Distributed Computing Techniques, Valletta, Malta, 14-18 June 2021
  • FORTE 2021 37th Formal Techniques for Networked and Distributed Systems,
  • DAIS 2021 20th IFIP international conference on Distributed Applications and Interoperable Systems,
  • Coordination 2021 Languages, Models, and Architectures for Concurrent and Distributed Software,
• Petri Nets 2021 42nd International Conference on Application and Theory of Petri Nets and Concurrency, and special track on Application of Concurrency to System Design (ACSD), Paris, France, June 20-25, 2021
• IFIP SEC 2021 36th International Conference on ICT Systems Security and Privacy Protection, 22–24 June 2021, Oslo, Norway
• PLDI 2021 ACM Conference on Programming Language Design and Implementation June 23-25, 2021, online.
• LICS 2021 Thirty-Sixth Annual ACM/IEEE Symposium on Logic in Computer Science, June 29 - July 2, 2021, Rome, Italy

July 2021

• SAMOS XXI International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, Samos, Greece, July 4-8 2021
• SAT 2021 24th International Conference on Theory and Applications of Satisfiability Testing, July 5-9, 2021, Barcelona, Spain
• ECRTS'21 33rd Euromicro Conference on Real-Time Systems, July 7-9, 2021, Virtual Conference
• CADE-28 28th International Conference on Automated Deduction, Carnegie Mellon University, Pittsburgh, USA. 11-16th July 2021.
• SPIN 2021 International Symposium on Model Checking of Software July 12-13, 2021, ONLINE from Aarhus, Denmark
• ECOOP 2021 Aarhus, Denmark, 12th-16th July 2021.
• ISSTA 2021 Aarhus, Denmark, 12th-16th July 2021.
• ICALP 2021 International Colloquium on Automata, Languages and Programming, 12th – 16th Julyh Glasgow, Scotland
• CAV 2021 33rd International Conference on Computer Aided Verification, Los Angeles, July 18-23

August 2021

• QONFEST 2021 Université Paris-Est Créteil, France, August 23-27, including
  • CONCUR 2021 The 32nd International Conference on Concurrency Theory,
  • QEST 2021 18th International Conference on Quantitative Evaluation of SysTems,
  • FORMATS 2021 19th International Conference on Formal Modeling and Analysis of Timed Systems
  • FMICS 2021 26th International Conference on Formal Methods for Industrial Critical Systems,
• MFCS 2021 The 46th International Symposium on Mathematical Foundations of Computer Science, August 23-27, 2021, Tallinn, Estonia
• ESEC/FSE 2021 ACM Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Athens, Greece, Aug. 23-27, 2021
• TASE 2021 The 15th International Symposium on Theoretical Aspects of Software Engineering, Aug. 25-27, Shanghai, China
• MFPS XXXVII 37th Conference on Mathematical Foundations of Programming Semantics, August 30 - September 2, 2021, Online or hybrid, from Salzburg

September 2021

• ICTAC 2021 18th International Colloquium on Theoretical Aspects of Computingk Nur-Sultan, Kazakhstan, September 6-10, 2021
• PPDP 2021 23rd International Symposium on Principles and Practice of Declarative Programming, 6–8 September 2021, Tallinn, Estonia
• LOPSTR 2021 31st International Symposium on Logic-Based Program Synthesis and Transformation, Tallinn, Estonia, September 7-9, 2021
• HIGHLIGHTS 2021 9th annual conference on Highlights of LOGIC, GAMES, and AUTOMATA, 15-17 September 2021, Aachen (but most probably online)
• 14th International Modelica Conference Linköping, Sweden, September 20-24, 2021.
• PACT 2021 The 30th International Conference on Parallel Architectures and Compilation Techniques Atlanta, GA, USA, September 26-29, 2021
• TIME 2021 28th International Symposium on Temporal Representation and Reasoning, Klagenfurt, Austria, 27-29 September 2021,

October 2021

• Embedded Systems Week 2020 Virtual, October 10 - 15, 2021, 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
• RV'21 21st International Conference on Runtime Verification, Oct 11-14, 2021, Los Angeles or online.
• MICRO 2021 The 54th Annual IEEE/ACM International Symposium on Microarchitecture, Athens, Greece, Oct. 16 - 20, 2021.
• SPLASH 2021 (w. OOPSLA) The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity, Chicago (US), October 17-22, 2021.
• SAS 2021 28th Static Analysis Symposium, Chicago (US), October 17-22, 2021.
• ATVA 2021 19th International Symposium on Automated Technology for Verification and Analysis, October 18-22, 2021, Gold Coast, Australia.
• FMCAD 2021 Twenty First Formal Methods in Computer-Aided Design Conference, Oct. 19-22, 2021, Yale University, Connecticut, USA
• RP'21 15th International Conference on Reachability Problems, Liverpool, UK, October 25-27, 2021.
• FACS 2021 17th International Conference on Formal Aspects of Component Software, Virtual Event, Oct. 28-29, 2021,

November 2021

• SCOPES 2021 International Workshop on Software and Compilers for Embedded Systems, November 1-2, 2021, Eindhoven University of Technology, Eindhoven, The Netherlands
• CCS 2021 ACM Conference on Computer and Communications Security, Seoul, South Korea, November 14 - 19, 2021
• ASE 2021 36th IEEE/ACM International Conference on Automated Software Engineering, Melbourne, Australia, Nov 15-19 2021.
• FM 2021 24th International Symposium on Formal Methods Beijing, China Nov. 20-26, 2021.
• VECoS 2021 15th International Conference on Verification and Evaluation of Computer and Communication Systems, Beijing, China Nov. 22-23, 2021.

December 2021

• SEFM 2021 19th International Con ference on Software Engineering and Formal Methods (SEFM 2021), 6-10 December 2021, jointly organised in virtual mode by Carnegie Mellon University (US), Nazarbayev University (Kazakhstan) and the University of York (UK)
• FSTTCS 2021 Foundations of Software Technology and Theoretical Computer Science December 15-17, 2021,

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,

February 2022

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

April 2022

• ETAPS 2022 25th European Joint Conferences on Theory and Practice of Software, Munich, Germany April 2-7, 2022.