Interesting Conferences

August 2019

• USENIX Security Symposium August 14–16, 2019, Santa Clara, CA, USA
• PaCT-2019 Parallel Computing Technologies, 15th International Conference, August 19-23, 2019 Almaty, Kazakhstan
• FORMATS 2019 August 26-31, Amsterdam, the Netherlands
• CONCUR 2019 The 30th International Conference on Concurrency Theory, Amsterdam, The Netherlands, 27-30 August 2019
• FMICS 2019 24th International Conference on Formal Methods for Industrial Critical Systems, Aug 30-31, 2019, Amsterdam, The Netherlands

September 2019

• FedCSIS 2019 Federated Conference on Computer Science and Information Systems, Leipzig, 1 - 4 September, 2019
• GandALF 2019 The Tenth International Symposium on Games, Automata, Logics, and Formal Verification, 2 - 4 September 2019, Bordeaux, France
• AVM'19 2019 Alpine Verification Meeting, September 9-11 in Brno, Czechia
• RP 2019 13th International Conference on Reachability Problems, Brussels, Belgium, September 11-13, 2019.
• SEFM 2019 17th International Conference on Software Engineering and Formal Methods, 16-20 September 2019, Oslo, Norway.
• ESORICS 2019 The European Symposium on Research in Computer Security 23-27 September • Luxembourg
• AVoCS 2019 19th International Workshop on Automated Verification of Critical Systems, September 30 - October 1, 2019, Grenoble, France

October 2019

• VECoS 2019 13th International Conference on Verification and Evaluation of Computer and Communication Systems, October 7-9, 2019, Porto, Portugal
• FM 2019 23rd International Symposium on Formal Methods - 3rd World Congress on Formal Methods, Porto, Portugal, October 7-11, 2019
• SAS 2019 26th Static Analysis Symposium, Porto, Portugal, 8-11 October 2019
• LOPSTR 2019 29th International Symposium on Logic-Based Program Synthesis and Transformation Porto, Portugal, 8-10 October 2019
• RV 2019 19th International Conference on Runtime Verification Porto, Portugal, 8-11 October 2019
• MEMOCODE 2019 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, San Diego, USA, October 9-11, 2019
• Embedded Systems Week 2019 New York City, USA, October 13 - 18, 2019, 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
  • IoMT Internet of Medical Things
• IFIP-ICTSS 2019 The 31st IFIP International Conference on Testing Software and Systems, Paris, France, October 15-17, 2019
• TIME 2019 26th International Symposium on Temporal Representation and Reasoning Málaga (Spain), 16th-19th October 2019
• SPLASH 2019 (w. OOPSLA) The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity, October 20-25, 2019, Athens, Greece.
• FMCAD 2019 International Conference on Formal Methods in Computer-Aided Design, San Jose, CA, October 22-25, 2019
• FACS 2019 16th International Conference on Formal Aspects of Component Software, 23-25 October 2019, Amsterdam
• ATVA 2019 17th International Symposium on Automated Technology for Verification and Analysis, October 28-31, 2019, Taipei, Taiwan.
• ICTAC 2019 16th International Colloquium on Theoretical Aspects of Computing, 30th October to 4th November 2019, in Hammamet, Tunisia.

November 2019

• ICFEM 2019 21st International Conference on Formal Engineering Methods, November 5th-9th Shenzhen, China
• CCS 2019 26th ACM Conference on Computer and Communications Security, London, United Kingdom, November 11 - 15, 2019
• NWPT'19 31st Nordic Workshop on Programming Theory, 13-15 November 2019, Tallinn, Estonia
• NordSec 2019 The 24th Nordic Conference on Secure IT Systems, Aalborg, Denmark, 18 - 20 November 2019

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.
• 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.

Febrary 2020

• DATE 2020 9 - 13 March 2020, Grenoble, France

April 2020

• ETAPS 2020 22nd European Joint Conferences on Theory and Practice of Software, Dublin, Ireland, 25-30 April 2020

April 2020

• 29th USENIX Security Symposium, August 12–14, 2020, Boston, MA, USA