Conferences 2023

January 2023

• VMCAI 2023 24th International Conference on Verification, Model Checking, and Abstract Interpretation, 15-17 January 2023, Boston, MA
• POPL 2023 The 50th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 15-21 January 2023, Boston, MA
• PADL 2023 25th International Symposium on Practical Aspects of Declarative Languages, Boston, Massachusetts, United States, January 16-17, 2023
• CPP 2023 Certified Programs and Proofs, Boston, Massachusetts, United States, January 16-17, 2023

February 2023

• CSL 2023 Computer Science Logic, 13-16 Warshaw, Poland
• NDSS 2023 The Network and Distributed System Security Symposium, 27 February – 3 March 2023 in San Diego, California.

March 2023

• FM 2023 25th International Symposium on Formal Methods, Lübeck, Germany, March 6-10, 2023
• STACS 2023 40th International Symposium on Theoretical Aspects of Computer Science, March 7 - 10, 2023, Hamburg, Germany
• SAC 38th Annual ACM/SIGAPP Symposium on Applied Computing, Tallinn, Estonia March 27-31, 2023

April 2023

• ETAPS 2023 26th European Joint Conferences on Theory and Practice of Software, Paris, France, 22-27 April 2023
• SPIN 2023 29th International Symposium on Model Checking of Software, Paris, France April 26-27

May 2023

• FSEN '23 10th International Conference on Fundamentals of Software Engineering 2023 - Theory and Practice, Tehran, Iran May 3-5, 2023
• HSCC 2023 26th ACM International Conference on Hybrid Systems: Computation and Control 9-12 May 2023, San Antonio, TX, USA
• FormaliSE 2023 14-15 May 2023, Melbourne, Australia
• ICSE 2023 The 45th International Conference on Software Engineering, 14-20 May 2023, Melbourne, Australia
• NFM 2023 NASA Formal Methods Symposium, 16-18 May 2023 Houston, Texas
• NETYS 2023 the 11th International Conference on Networked Systems, May 22-24, 2023, Marrakech, Morroco
• ABZ 2023 International Conference on Rigorous State Based Methods, LORIA, Université de Lorraine, Nancy, France. May 30-June 2, 2023

June 2023

• PLDI 2023 ACM Conference on Programming Language Design and Implementation June 17-21, 2022, Orlando, Florida
• LCTES 2023 ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory of Embedded Systems, June 18, 2022, Orlando, Florida
• DisCoTec 2023 18th International Federated Conference on Distributed Computing Techniques, Lisboa, Portugal, 19-23 June 2023
  FORTE 2023 Formal Techniques for Networked and Distributed Systems,
  • DAIS 2023 IFIP international conference on Distributed Applications and Interoperable Systems,
  • Coordination 2023 Languages, Models, and Architectures for Concurrent and Distributed Software,
• MFPS 2023 39th Conference on the Mathematical Foundations of Programming Semantics, Indiana University Bloomington, on 20-23 June 2023
• Petri Nets 2023 44th International Conference on Application and Theory of Petri Nets and Concurrency, Lisbon, Portugal, June 25-30, 2023
• LICS 2023 Thirty-Eighth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS) Boston, June 26-29, 2023

July 2023

• TASE 2023 The 17th International Symposium on Theoretical Aspects of Software Engineering, July 4-6, Bristol, UK
• ICGI 2023 16th International Conference on Grammatical Inference, Rabat (Morocco), July 10-13, 2023
• ICALP 2023 International Colloquium on Automata, Languages and Programming, 10-14 July, Paderborn, Germany
• WoLLIC 2023 29th Workshop on Logic, Language, Information and Computation 11-14 July, 2023 Halifax, Nova Scotia, Canada
• ISSTA 2023 Seattle, WA, July 17-21 2023.
• ECOOP 2023 Seattle, WA, July 17-21 2023.
• STAF 2023 Software Technologies: Applications and Foundations, 17 - 21 July 2023, Leicester, United Kingdom, including
  • ECMFA 2023 19th European Conference on Modelling Foundations and Applications
  • ICGT 2023 16th International Conference on Graph Transformation
  • TAP 2023 17th International Conference on Tests and Proofs
• CAV 2023 35th International Conference on Computer Aided Verification, July 17-22, Paris
• Highlights of Logic, Games, and Automata Kassel, Germany, 24 — 28 July 2023

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