Interesting Conferences

February 2021

• PPoPP 2021 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, February 27-March 3, 2021,

March 2021

• ETAPS 2021 24th European Joint Conferences on Theory and Practice of Software, Luxembourg, Luxembourg, 27 March - 1 April 2021.
• ISPASS 2021 IEEE International Symposium on Performance Analysis of Systems and Software, March 28-30, Stony Brook, NY.

May 2021

• CF'21 ACM International Conference on Computing Frontiers 2021, May 11th - 13th, 2021, Virtual Conference,
• IPDPS 2021 35th IEEE International Parallel and Distributed Processing Symposium, May 17-21, 2021. Portland, Oregon
• FSEN '21 9th International Conference on Fundamentals of Software Engineering 2019, Theory and Practice, Tehran, Iran May 19-21, 2021
• NETYS 2021 The 9th International Conference on Networked Systems, Virtual, May 19-21.
• ICSE 2021 The 43rd International Conference on Software Engineering, 23-29 May 2021, Virtual.
• NFM 2021 The 13th NASA Formal Methods Symposium, 24-28 May 2021 Norfolk, VA, USA

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.
• 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

September 2021

• LOPSTR 2021 31st International Symposium on Logic-Based Program Synthesis and Transformation, Tallinn, Estonia, September 7-9, 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
• 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

November 2021

• FM 2021 24th International Symposium on Formal Methods Beijing, China Nov. 20-26, 2021.

February 2022

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