Formal Methods and Software Technology

Conferences 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

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.

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.

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

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

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

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

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

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.
EuroS and P 2020 5th IEEE European Symposium on Security and Privacy Sept. 7-11, Genoa, Italy
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

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

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
Nordsec 2020 The 25th Nordic Conference on Secure IT Systems, LinkÃ¶ping, Sweden, November 23-25 2020, (virtual conference)
ICTAC 2020 17th International Colloquium on Theoretical Aspects of Computing, Macao S.A.R., China, 30 November- 4 December, 2020

MEMOCODE'20 18th ACM-IEEE International Conference on Formal Methods and Models for System Design, December 02-04, 2020, Jaipur, India
FSTTCS 2020 Foundations of Software Technology and Theoretical Computer Science December 13-14, 2020,