Interesting Conferences

June 2019

• MFPS 2019 The 35th Conference on the Mathematical Foundations of Programming Semantics, University College London, UK, June 4-7, 2019
• EuroS and P 2019 4th IEEE European Symposium on Security and Privacy June 17-19, 2019 in Stockholm, Sweden
• DisCoTec 2019 14th International Federated Conference on Distributed Computing Techniques, Copenhagen, 18-21 June 2019
  • FORTE 2019 37th Formal Techniques for Networked and Distributed Systems,
  • DAIS 2019 19th IFIP international conference on Distributed Applications and Interoperable Systems,
  • Coordination 2019 Languages, Models, and Architectures for Concurrent and Distributed Software,
• NETYS 2019 the International Conference on Networked Systems, June 19-21, 2019, Marrakech, Morocco
• PLDI 2019 ACM Conference on Programming Language Design and Implementation June 22-26, 2019 in Phoenix, Arizona.
• LCTES 2019 ACM International Conference on Languages Compilers, Tools and Theory of Embedded Systems, June 22-28, 2019, Phoenix, Arizona, United States
• ACSD 2019 19th International Conference on Application of Concurrency to System Design Aachen, Germany, June 23-28, 2019
• ICPM 2019 1st International Conference on Process Mining, June 24-26, 2019, Aachen, Germany
• LICS 2019 Thirty-Fourth Annual ACM/IEEE Symposium on Logic in Computer Science, 24–27 June 2019 • Vancouver
• CSSR Computer Science Summer in Russia (CSSR) June 24 - July 5, 2019, including Summer School, CSR, and PSI. The 12th Ershov Informatics Conference, and CSSR The 14th Computer Science Symposium in Russia.

July 2019

• SAMOS XIX International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, Samos, Greece, July 7-11 2098
• ICALP 2019 The 46th International Colloquium on Automata, Languages, and Programming, Patras, Greece, on 8-12 July 2019
• ECRTS 19 31st EUROMICRO Conference on Real-Time Systems, July 9-12, 2019 | Stuttgart, Germany
• CAV 2019 31st International Conference on Computer Aided Verification, New York City, July 15-18
• SPIN 2019 24th International Symposium on Model Checking of Software, Beijing, China, July 15-19, 2019
• STAF 2019 Software Technologies: Applications and Foundations, Eindhoven, NL, 15-19 July, 2019. containing, among others:
  • ICGT 2019 12th International Conference on Graph Transformation, Eindhoven, NL, 15-19 July, 2019.
  • Tenth ACM Scala Symposium London, UK July 17, 2019
• TASE 2019 The 13th International Symposium on Theoretical Aspects of Software Engineering, July 29-31, Guilin, China

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

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.