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.

May 2020

NFM 2020 The 12th NASA Formal Methods Symposium, 11-15 May 2020 Moffett Field, CA, USA
LPAR-23 The 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, 22-27 May 2020
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
NETYS 2020 The 8th International Conference on Networked Systems, June 3-5, 2020, Marrakech, Morocco
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
HPDC'20 29th International ACM Symposium on High-Performance Parallel and Distributed Computing Stockholm, Sweden, June 23-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
SPIN 2020 27th International Symposium on Model Checking of Software, Chicago, Illinois, USA, July 24-25, 2020

August 2020

29th USENIX Security Symposium, August 12-14, 2020, Boston, MA, USA
AiML 2020 13th International Conference on Advances in Modal Logic, Helsinki, 17 August -- 21 August 2020
RTCSA 2020 The 26th IEEE International Conference on Embedded Real-Time Computing Systems and Applications, August 19--21, 2020, Gangnueng, South Korea.
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 2-3

September 2020

FedCSIS 2020 2020 Federated Conference on Computer Science and Information Systems, Sofia, Bulgaria, 6-9 September, 2020
LOPSTR 2020 The 30th International Symposium on Logic-based Program Synthesis and Transformation, Bologna (Italy). 7-9 September, 2020.
PPDP 2020 22nd International Symposium on Principles and Practice of Declarative Programming, Bologna (Italy), 8-10 September, 2020.
SEFM 2020 18th International Conference on Software Engineering and Formal Methods Amsterdam, The Netherlands, 14-18 September 2020
VECoS 2020 14th International Conference on Verification and Evaluation of Computer and Communication Systems September, 22-25, 2020, Xi'an, China
TIME 2020 27th International Symposium on Temporal Representation and Reasoning Bozen-Bolzano (Italy), 23th-25th September 2020

October 2020

RV 2020 19th International Conference on Runtime Verification, Los Angeles, CA, USA, October 6-9, 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
ATVA 2020 18th International Symposium on Automated Technology for Verification and Analysis, October 19-23, 2020, Hanoi, Vietnam

November 2020

SPLASH 2020 (w. OOPSLA) The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity, November 15-20, 2020, Chicago, Illinois, United States
iFM 2020 16th International Conference on integrated Formal Methods, 16-20 December 2019, Lugano, Switzerland
SAS 2020 27th Static Analysis Symposium Chicago, Illinois, United States, November 18-20, 2020
ICTAC 2020 17th International Colloquium on Theoretical Aspects of Computing, Macao S.A.R., China, 30 November- 4 December, 2020

December 2020

MEMOCODE'20 18th ACM-IEEE International Conference on Formal Methods and Models for System Design, December 02-04, 2020, Jaipur, India

January 2021

POPL 2021 The 48th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 17-22 January 2021, Copenhagen, Denmark
CSL 2021 Computer Science Logic, 25-28 January 2021, Ljubljana, Slovenia.