Proof-related conferences
To contribute to the web site, please 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