Proof-related schools

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

• 15-21 September 2024: school on Proof & Computation, Fischbachau, Germany

• 25 August - 1st September 2024: 14th International School on Rewriting (ISR’24), Obergurgl, Austria

• 26-29 June 2024: SAT/SMT/AR school, Nancy, France, in co-location with IJCAR’24

• 24-27 June 2024: Summer School on AI for Reasoning and Processing of Mathematics, Kutaisi, Georgia

• 13-17 May 2024: School on Formal Mathematics, Bonn, Germany

• 28 August - 1st September 2023: School on Verification Technology, Systems & Applications, Nancy, France

• 18-23 June 2023: Proof assistants for Teaching, Val d’Ajol, France

• 28 August - 1 September 2023: Summer School on Reactive Synthesis, Udine, Italy

• 7-10 November 2022: Autumn School Proof Theory, Utrecht, Netherlands

• 26 September - 1 October 2022: Proof and Computation, Fischbachau, Germany

• 19-24 September 2022: 13th International School on Rewriting, Tbilisi, Georgia

• 1 and 5 August 2022: FLoC 2022 Mentoring Workshop, Haifa, Israel

• 14-17 August 2022: SAT/SMT/AR and CP Summer School 2022, Haifa, Israel

• 17-23 July 2022: School on Univalent Mathematics 2022, Cortona, Italy

• 13-17 June, 2022, 15th Summer School On Modelling And Verification Of Parallel Processes (MOVEP 2022) Aalborg, Denmark

• 10-14 April 2022: 22nd Midlands Graduate School in the Foundations of Computing Science, Nottingham, UK