Interesting Conferences

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