Interesting Conferences

August 2023

• Euro-Par 2023 29th International European Conference on Parallel and Distributed Computing, August 28 - September 1, 2023, St. Raphael Resort, Limassol, Cyprus
• MFCS 2023 48th International Symposium on Mathematical Foundations of Computer Science, August 28 - September 1, 2023, Bordeaux, France

September 2023

• ASE 2023 38th IEEE/ACM International Conference on Automated Software Engineering, Mon 11 - Fri 15 September 2023 Kirchberg, Luxembourg
• Embedded Systems Week 2023 Hamburg, Germany, September 17-22, 2023, 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
  • MEMOCODE 2023 21st ACM-IEEE International Conference on Formal Methods and Models for System Design, Sept. 21-22,
• QONFEST 2023 September 18 - 23 2023, Antwerpen, Belgium, including
  • CONCUR 2023 The 34th International Conference on Concurrency Theory,
  • QEST 2023 20th International Conference on Quantitative Evaluation of SysTems,
  • FORMATS 2023 21st International Conference on Formal Modeling and Analysis of Timed Systems
  • FMICS 2023 28th International Conference on Formal Methods for Industrial Critical Systems,
• GandALF 23 Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, Udine (Italy), September 18-20, 2023
• CIAA 2023 27th International Conference on Implementation and Application of Automata, September 19-22, 2023, Famagusta, Cyprus
• SAFECOMP 2023 The 42nd International Conference on Computer Safety, Reliability and Security, 19 - 22 September 2023, Toulouse, France

October 2023

• RV 2023 23nd International Conference on Runtime Verification, Thessaloniki, Greece, Oct. 3-6, 2023.
• VECoS 2023 16th International Conference on Verification and Evaluation of Computer and Communication Systems, Marrakech, Morocco, Oct. 18-20, 2023.
• FACS 2023 19th International Conference on Formal Aspects of Component Software, 19-20 October, 2023 (online)
• SAS 2023 30th Static Analysis Symposium, Cascais (Lisbon), Portugal, Sun 22 - Tue 24, October 2023
• SPLASH 2023 (w. LOPSTR, OOPSLA, PPDP, SLE) The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity, Oct 22-27, Caiscais, Lisbon, Portugal, November, 2023. (apologies for multiple copies)
• FMCAD 2023 2023 Formal Methods in Computer-Aided Design, Ames, Iowa, USA, Oct. 23-27, 2023
• ATVA 2023 21st International Symposium on Automated Technology for Verification and Analysis, 24-27 October 2023, Singapore

November 2023

• SEFM '23 21st International Con ference on Software Engineering and Formal Methods, Eindhoven University of Technology, Nov. 8 - 10, 2023
• ESEC/FSE 2023 ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 11 - 17 November 2023, San Francisco, California.
• iFM 2023 18th International Conference on integrated Formal Methods, 13-15 November 2023, Leiden, the Netherlands
• APLAS 2023 21st Asian Symposium on Programming Languages and Systems, Taipei, Taiwan, 26 – 29 November 2023
• SYNCHRON 2023 The 30th International Open Workshop on Synchronous Programming: November 27th to December 1st, 2023 in Kiel, Germany (Baltic Sea)

December 2023

• ICTAC 2023 20th International Colloquium on Theoretical Aspects of Computing 04-08 December 2023, Lima - Peru
• FSTTCS 2023 Foundations of Software Technology and Theoretical Computer Science December 18-20, 2023 at IIIT Hyderabad, India

January 2024

• POPL 2024 The 51st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 17-19 January 2024, London, UK

February 2024

• CSL 2024 Computer Science Logic, February 19-23, 2024, in Naples, Italy

March 2024

• CGO 2024 IEEE/ACM International Symposium on Code Generation and Optimization, March 2nd – March 6th, 2024, Edinburgh, UK

April 2024

• ETAPS 2024 27th European Joint Conferences on Theory and Practice of Software, Luxembourg, 6-11 April 2024.
• SAC 38th Annual ACM/SIGAPP Symposium on Applied Computing, Avila, Spain April 8-12, 2024
• ICSE 2024 The 46th International Conference on Software Engineering, 12-21 April 2024, Lisbon, Portugal