Proof-related conferences

To contribute to the web site, please open an issue, create a pull request or send a mail to the science communication coordinators.

• 22-27 April 2023: European Joint Conferences on Theory and Practice of Software (ETAPS’22), Paris, France

• 6-10 March 2023: 25th International Symposium on Formal Methods (FM’23), Lübeck, Germany

• 26-29 September 2022: Logic and Applications (LAP’22), Dubrovnik, Croatia

• 20-23 September 2022: 28th Workshop on Logic, Language, Information and Computation (WoLLIC’22), Iași, Romania

• 19-23 September 2022: 15th Conference on Intelligent Computer Mathematics (CICM’22), Tbilisi, Georgia

• 19-30 September 2022: Computational Logic Autumn Summit (CLAS’22), Tbilisi, Georgia

• 4-9 September 2022: 7th Conference on Artificial Intelligence and Theorem Proving (AITP’22), Aussois, France

• 11-12 August 2022: 8th Workshop on Practical Aspects of Automated Reasoning (PAAR’22), Haifa, Israel

• 7-12 August 2022: 11th International Joint Conference on Automated Reasoning (IJCAR’22), Haifa, Israel

• 7-10 August 2022: 13th Conference on Interactive Theorem Proving (ITP’22), Haifa, Israel

• 2-5 August 2022: 7th International Conference on Formal Structures for Computation and Deduction (FSCD’22), Haifa, Israel

• 2-5 Augut 2022: 37th Annual Symposium on Logic in Computer Science (LICS’22), Haifa, Israel

• 31 July - 12 August 2022: Federated Logic Conference (FLOC’22), Haifa, Israel

• 20-25 June 2022: 28th International Conference on Types for Proofs and Programs (TYPES’22), Nantes, France

• 22 January 2022: 1st Workshop on the Implementation of Type Systems (WITS’22), Philadelphia, USA