Dept. of Computer Systems |
Formal Methods and Software Technology
This page includes conferences in many subjects, also of not-so-close
relation to Software Technology.
Here is a page with conferences
that have already taken place.
16th International Federated Conference on
Distributed Computing Techniques,
Valletta, Malta, 14-18 June 2021
Formal Techniques for Networked and Distributed Systems,
20th IFIP international conference on Distributed Applications and Interoperable Systems,
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
ACM Conference on Programming Language Design and Implementation
June 23-25, 2021, online.
Thirty-Sixth Annual ACM/IEEE Symposium on Logic in Computer Science,
June 29 - July 2, 2021, Rome, Italy
International Conference on Embedded Computer Systems:
Architectures, Modeling, and Simulation,
Samos, Greece, July 4-8 2021
24th International Conference on Theory and Applications of Satisfiability Testing,
July 5-9, 2021, Barcelona, Spain
33rd Euromicro Conference on Real-Time Systems,
July 7-9, 2021, Virtual Conference
28th International Conference on Automated Deduction,
Carnegie Mellon University, Pittsburgh, USA. 11-16th July 2021.
International Symposium on Model Checking of Software
July 12-13, 2021,
ONLINE from Aarhus, Denmark
Aarhus, Denmark, 12th-16th July 2021.
Aarhus, Denmark, 12th-16th July 2021.
International Colloquium on Automata, Languages and Programming,
12th â€“ 16th Julyh
33rd International Conference on Computer Aided Verification,
Los Angeles, July 18-23
Université Paris-Est Créteil, France,
The 32nd International Conference on Concurrency Theory,
18th International Conference on Quantitative Evaluation of SysTems,
19th International Conference on
Formal Modeling and Analysis of Timed Systems
26th International Conference on
Formal Methods for Industrial Critical Systems,
The 46th International Symposium on Mathematical Foundations of Computer Science,
August 23-27, 2021, Tallinn, Estonia
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
The 15th International Symposium on
Theoretical Aspects of Software Engineering,
Aug. 25-27, Shanghai, China
37th Conference on Mathematical Foundations of Programming Semantics,
August 30 - September 2, 2021,
Online or hybrid, from Salzburg
18th International Colloquium on Theoretical Aspects of Computingk
Nur-Sultan, Kazakhstan, September 6-10, 2021
23rd International Symposium on
Principles and Practice of Declarative Programming,
6â€“8 September 2021, Tallinn, Estonia
31st International Symposium on Logic-Based Program Synthesis and Transformation,
Tallinn, Estonia, September 7-9, 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.
The 30th International Conference on Parallel Architectures and Compilation Techniques
Atlanta, GA, USA, September 26-29, 2021
28th International Symposium on Temporal Representation and Reasoning,
Klagenfurt, Austria, 27-29 September 2021,
Embedded Systems Week 2020
Virtual, October 10 - 15, 2021,
CODES + ISSS
International Conference on
Hardware/Software Codesign and System Synthesis
International Conference on Embedded Software
International Conference on Compilers, Architecture
and Synthesis for Embedded Systems
21st International Conference on Runtime Verification,
Oct 11-14, 2021, Los Angeles or online.
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.
28th Static Analysis Symposium, Chicago (US), October 17-22, 2021.
19th International Symposium on Automated Technology for Verification
October 18-22, 2021, Gold Coast, Australia.
Twenty First Formal Methods in Computer-Aided Design Conference,
Oct. 19-22, 2021,
Yale University, Connecticut, USA
15th International Conference on Reachability Problems,
Liverpool, UK, October 25-27, 2021.
17th International Conference on Formal Aspects of Component Software,
Oct. 28-29, 2021,
International Workshop on Software and Compilers for Embedded Systems,
November 1-2, 2021, Eindhoven University of Technology, Eindhoven, The Netherlands
ACM Conference on Computer and Communications Security,
Seoul, South Korea, November 14 - 19, 2021
36th IEEE/ACM International Conference on Automated Software Engineering,
Melbourne, Australia, Nov 15-19 2021.
24th International Symposium on Formal Methods
Beijing, China Nov. 20-26, 2021.
15th International Conference on Verification and Evaluation of Computer and Communication Systems,
Beijing, China Nov. 22-23, 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)
Foundations of Software Technology and Theoretical Computer Science
December 15-17, 2021,
23rdd International Conference on Verification, Model Checking, and
16-18 January 2022, Philadelphia, Pennsylvania,
The 49th Annual
Symposium on Principles of Programming Languages.
16-21 January 2022, Philadelphia, Pennsylvania,
Computer Science Logic,
14-19 February, GÃ¶ttingen, Germany
25th European Joint Conferences on Theory and Practice of Software,
Munich, Germany April 2-7, 2022.