Conferences 2021

VMCAI 2021 22nd International Conference on Verification, Model Checking, and Abstract Interpretation, 17-19 January 2021, Copenhagen, Denmark
POPL 2021 The 48th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 17-22 January 2021, Copenhagen, Denmark
CPP 2021 Certified Programs and Proofs, 18-19 January 2021, Copenhagen, Denmark
CSL 2021 Computer Science Logic, 25-28 January 2021, Ljubljana, Slovenia.

PPoPP 2021 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, February 27-March 3, 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.

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

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

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

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

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,

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
ISOLA 2021 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Nov. 5-9, 2018, Limassol, Cyprus
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,

SCOPES 2021 International Workshop on Software and Compilers for Embedded Systems, November 1-2, 2021, Eindhoven University of Technology, Eindhoven, The Netherlands
NWPT 2021 32nd Nordic Workshop on Programming Theory, November 4-6, Reykjavik and online
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.

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)
PLAS 2021 16th Workshop on Programmin g Languages and Analysis for Security, Virtual Event, December 7, 2021
FSTTCS 2021 Foundations of Software Technology and Theoretical Computer Science December 15-17, 2021,