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.

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

RTSS 2019 40th IEEE Real-Time Systems Symposium, York, UK, Feb. 18-21, 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

MFPS XXXVI Thirty-sixth Conference on the Mathematical Foundations of Programming Semantics, Paris, France, June 1-5, 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.
ICGT 2020 13th International Conference on Graph Transformation June 22-26 Bergen, Norway
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
SAMOS XX International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, Samos, Greece, July 5-9 2020
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

October 2020

Embedded Systems Week 2020 Shanghai, China, October 11 - 16, 2020, 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
- Trustworty IoT Day Special Day on Trustworthy Internet-of-Things