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.

9-14 September 2024: 15th conference on Interactive Theorem Proving (ITP’24), Tbilisi, Georgia
29 July - 2 August: 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
1-6 July 2024: International Joint Conference on Automated Reasoning (IJCAR’24), Nancy, France
17-21 June 2024: Workshop on Formalization of Mathematics, Bonn, Germany
6 May - 16 August 2024: Trimester on Prospects of formal mathematics, Hausdorff research institute for mathematics, Bonn, Germany
6-11 April 2024: European joint conferences on theory and practice of software (ETAPS’24), Luxembourg
17-19 January 2024: 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL’24), London, UK
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
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
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