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.

2026

• 11-17 January 2026: 53rd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL’26), Rennes, France

• 13-29 July 2026: Federated Logic Conference (FLOC’26), Lisbon, Portugal

2025

• 25-28 November 2025: 22nd International Colloquium on Theoretical Aspects of Computing (ICTAC’25), Marrakech, Marocco

• 6-11 October 2025: 18th Conference on Intelligent Computer Mathematics (CICM’25), Brasília, Brazil

• 27 September - 3 October 2025: FroCoS/ITP/TABLEAUX’25, Reykjavik, Iceland

• 8-19 September 2025: EuroProofNet Symposium, Institut Pascal, Orsay, France

• 31 August - 5 September: 10th Conference on Artificial Intelligence and Theorem Proving (AITP’25), Aussois, France

• 28 July - 2 August 2025: 30th international Conference on Automated Deduction (CADE’25), Stuttgart, Germany

• 14-20 July 2025: 10th International Conference on Formal Structures for Computation and Deduction (FSCD’25), Birmingham, UK

• 23-26 June 2025: 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS’25), Singapore

• 9-13 June 2025: 31st International Conference on Types for Proofs and Programs (TYPES’25), University of Strathclyde, Glasgow, UK

• 3-8 May 2025: 28th International Joint Conferences On Theory and Practice of Software (ETAPS’25), Hamilton, Canada

• 28-31 January 2025: 36e Journées Francophones des Langages Applicatifs (JFLA’24), Roiffé, France

• 20-21 January 2025: Certified Programs and Proofs (CPP’25), Denver, USA

• 19-25 January 2025: 52nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL’25), Denver, USA

2024

• 25-29 November 2024: 21st International Colloquium on Theoretical Aspects of Computing (ICTAC’24), Bangkok, Thailand

• 18-20 September 2024: 19th Logical and Semantic Frameworks with Applications (LSFA’24), Goiânia, Brazil

• 9-14 September 2024: 15th conference on Interactive Theorem Proving (ITP’24), Tbilisi, Georgia

• 3-11 September 2024: Toposes in Mondovì, Mondovi, Italy

• 2-7 September 2024: 29th ACM SIGPLAN International Conference on Functional Programming (ICFP’24), Milan, Italy

• 1-6 September 2024: Artificial Intelligence and Theorem Proving (AITP’24), Aussois, France

• 9 August 2024: 1st Workshop on Women in Formal Methods (WiFM’24), Montréal, Canada

• 5-9 August 2024: 17th Conference on Intelligent Computer Mathematics (CICM’24), Montréal, Canada

• 29 July - 2 August 2024: Workshop on Libraries of Digital Math, Bonn, Germany

• 10-13 July 2024: 9th International Conference on Formal Structures for Computation and Deduction (FSCD’24), Tallinn, Estonia

• 8-12 July 2024: Workshop on Bridging between informal and formal mathematics, Bonn, Germany

• 8-12 July 2024: 39th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS’24), Tallinn, Estonia

• 8-12 July 2024: 51st EATCS International Colloquium on Automata, Languages, and Programming (ICALP’24), Tallinn, Estonia

• 1-6 July 2024: International Joint Conference on Automated Reasoning (IJCAR’24), Nancy, France

• 24-28 June 2024: Logic Colloquium, Göteborg, Sweden

• 17-21 June 2024: Workshop on Formalization of Mathematics, Bonn, Germany

• 10-14 June 2024: International Conference on Types for Proofs and Programs (TYPES’24), Copenhagen, Denmark

• 10-13 June 2024: 30th Workshop on Logic, Language, Information and Computation (WOLLIC’24), Bern, Switzerland

• 26-31 May 2024: 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR’24), Mauritius

• 20-24 May 2024: 1st International Workshop on Highlights in Organizing and Optimizing Proof-logging Systems (WHOOPS’24), Copenhagen, Denmark

• 6 May - 16 August 2024: Trimester on Prospects of formal mathematics, Hausdorff research institute for mathematics, Bonn, Germany

• 22-23 April 2024: Workshop on Theory and Applications of Craig Interpolation and Beth Definability, Amsterdam, Netherlands

• 6-11 April 2024: European joint conferences on theory and practice of software (ETAPS’24), Luxembourg

• 30 January - 2 February 2024: Journées Francophones des Langages Applicatifs (JFLA’24), Saint-Jacut-de-la-Mer, France

• 17-19 January 2024: 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL’24), London, UK

• 15-16 January 2024: 26th International Symposium on Practical Aspects of Declarative Languages (PADL’24), London, United Kingdom

• 15-16 January 2024: Certified Programs and Proofs (CPP’24), London, UK

2023

• 21-22 September 2023: 7th Working Formal Methods Symposium (FROM’23), Bucharest, Romania

• 4-8 September 2023: 16th Conference on Intelligent Computer Mathematics (CICM’23), Cambridge, UK

• 3-8 September 2023: Artificial Intelligence and Theorem Proving 2023 (AITP’23), Aussois, France

• 29-31 August 2023: 35th Symposium on Implementation and Application of Functional Languages (IFL’23), Braga, Portugal

• 28 August 2023: 2nd Workshop on the Implementation of Type Systems (WITS’23), Braga, Portugal

• 31 July - 4 August 2023: 14th Conference on Interactive Theorem Proving (ITP’23), Białystok, Poland

• 3-6 July 2023: 8th International Conference on Formal Structures for Computation and Deduction (FSCD’23), Rome, Italy

• 2 July 2023: Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP’23), Rome, Italy

• 1-4 July 2023: 29th Conference on Automated Deduction (CADE’23), Rome, Italy

• 26-29 June 2023: 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS’23), Boston, USA

• 12-15 June 2023: 29th International Conference on Types for Proofs and Programs (TYPES’23), Valencia, Spain

• 12-14 June 2023: AI to Assist Mathematical Reasoning: A Workshop online organized by USA National Academies of Sciences, Engineering and Medicine.

• 4-9 June 2023: 24th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-24), Manizales, Colombia

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

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

• 13-17 February 2023: Computer Science Logic 2023 (CSL’23), Warsaw, Poland

• 13-17 February 2023: IPAM Workshop on Machine Assisted Proofs, Los Angeles, USA

• 16-17 January 2023: Certified Programs and Proofs (CPP’23), Boston, USA

• 16-17 January 2023: 25th International Symposium on Practical Aspects of Declarative Languages (PADL’23), Boston, USA

• 16-17 January 2023: 24th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI’23), Boston, USA

• 15-21 January 2023: 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL’23), Boston, USA

2022

• 11-12 November 2022: Autumn Workshop Proof Theory, Utrecht, Netherlands

• 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