UU |
Dept. of Computer Systems |
Research |
Education |
Information |
Staff |
Students

Formal Methods and Software Technology
Interesting Conferences
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.
December 2019
-
iFM 2019
15th International Conference on integrated Formal Methods,
2-6 December 2019,
Bergen, Norway
-
RTSS 2019
40th IEEE Real-Time Systems Symposium, Hong Kong, China, December 3-6, 2019
-
FSTTCS 2019
Foundations of Software Technology and Theoretical Computer Science
December 11-13, 2019,
IIT BOMBAY, Mumbai, India
January 2020
-
CSL 2020
Computer Science Logic,
13-16 January 2020, Barcelona, Spain
-
POPL 2020
The 47th Annual
ACM SIGPLAN-SIGACT
Symposium on Principles of Programming Languages.
19-25 January 2020, New Orleans, Louisiana, United States.
-
VMCAI 2020
21st International Conference on Verification, Model Checking, and
Abstract Interpretation,
New Orleans, Louisiana, United States, January 19th-January 21st, 2020
-
PADL 2020
22nd International Symposium on Practical Aspects of Declarative Languages,
20-21 January 2020, New Orleans, Louisiana, United States
-
CPP 2020
Certified Programs and Proofs,
20-21 January 2020 in New Orleans, Louisiana, United States
-
HiPEAC 2020
15th International Conference on
High-Performance and Embedded Architectures and Compilers,
January 20-22, 2010, Bologna, Italy.
-
SOFSEM 2020
46th International Conference on Current Trends in Theory and
Practice of Computer Science,
Limassol, Cyprus,
January 20-24, 2020
-
ERTS 2020
Embedded Real Time Systems,
29 - 31 January 2020,
Toulouse France
Febrary 2020
-
CGO 2020
International Symposium on Code Generation and Optimization
February 22-26, 2019, San Diego, CA.
-
PPoPP 2020
25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming,
February 22-26, 2019, San Diego, CA.
-
HPCA 2020
25th IEEE International Symposium on High-Performance Computer Architecture,
February 22-26, 2019, San Diego, CA.
March 2020
-
DATE 2020
9 - 13 March 2020, Grenoble, France
-
PDP 2020
28th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, Västerås, Sweden, March 11-13, 2020.
April 2020
-
RTAS 2020
26th IEEE Real-Time and Embedded Technology
and Applications Symposium, Sydney, Australia
April 21-24, 2020.
-
ETAPS 2020
22nd European Joint Conferences on Theory and Practice of Software,
Dublin, Ireland, 25-30 April 2020
May 2020
-
NFM 2020
The 12th NASA Formal Methods Symposium,
11-15 May 2020
Moffett Field, CA, USA
-
ICSE 2020
The 42nd International Conference on Software Engineering, 23-29 May 2019, Seoul, South Korea
-
SCOPES 2020
International Workshop on Software and Compilers for Embedded Systems,
May 25-26, 2020, Schloss Rheinfels, St. Goar, Germany
June 2020
-
DisCoTec 2020
15th International Federated Conference on
Distributed Computing Techniques,
Valletta, Malta, 15-19 June 2020
-
FORTE 2020
37th
Formal Techniques for Networked and Distributed Systems,
-
DAIS 2020
20th IFIP international conference on Distributed Applications and Interoperable Systems,
-
Coordination 2020
Languages, Models, and Architectures for
Concurrent and Distributed Software,
-
IEEE EuroSP 2020
5th IEEE European Symposium on Security and Privacy,
June 16-18 2020, Genova, Italy
-
PLDI 2020
ACM Conference on Programming Language Design and Implementation
June 17-19, 2020 in London, UK.
-
TAP 2020
14th International Conference on Tests & Proofs,
Bergen (Norway), June 22-26, 2020
-
PETRI NETS 2020
41th International Conference on Application and Theory of Petri Nets and Concurrency in Paris, France, June 22-26, 2020
July 2020
-
SAT 2020
The 23rd International Conference on
Theory and Applications of Satisfiability Testing,
5-9 July 2020, Alghero, Italy
-
LICS 2020
Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science,
8-12 July 2020, Beijing, China
-
ICALP 2020
47th International Colloquium on Automata, Languages and Programming,
8-12 July 2020, Beijing, China
-
CAV 2020
32nd International Conference on Computer Aided Verification,
Los Angeles, July 19-24
August 2020
-
29th USENIX Security Symposium,
August 12-14, 2020,
Boston, MA, USA
-
QONFEST 2020,
Vienna, Austria, Aug. 31 - Sept. 5, 2020, comprising
-
CONCUR 2020
The 31st International Conference on Concurrency Theory, Sept. 1-4
-
QEST 2020
17th International Conference on Quantitative Evaluation of SysTems,
Aug. 31 - Sept. 3
-
FORMATS 2020
Int. Conf. on Formal Modeling and Analysis of Timed Systems,
Sept. 1-3.
-
FMICS 2020
25th International Conference on
Formal Methods for Industrial Critical Systems,
September 2020
-
FedCSIS 2020
2020 Federated Conference on Computer Science and Information Systems,
Sofia, Bulgaria, 6-9 September, 2020