This online workshop series was originally planned as an in person workshop (see here) which was canceled due to the outbreak of the Coronavirus pandemic in early March 2020.
The aim of the original event was to bring together researchers working on the notion of (formal) proof from either a philosophical, computational or mathematical perspective. With the obvious limitations of an online format, we wish to keep this original motivation, which looks even more timely as interdisciplinary interactions are made more difficult by the pandemic.
The workshop series is meant as an opportunity for members of different communities to interact and exchange their views on proofs, their identity conditions, and the more convenient ways of representing them formally.
Like the original event, the workshop series is organized by Paolo Pistone and Luca Tranchini.
Important Dates
- First workshop ``Infinity and co-inductive proofs'': 7 September 2022
- Second workshop ``On the syntax of proofs'': 28 September 2022
- Third workshop ``On the nature of proofs'': 7 December 2022
Speakers
- Matteo Acclavio (Università Roma 3)
- Bahareh Afshari (University of Gothenburg, University of Amsterdam)
- David Binder (Tübingen Univerisity)
- Laura Crosilla (University of Oslo)
- Gilda Ferreira (Universidade Aberta, University of Lisbon)
- Herman Geuvers (Nijmegen \& Eindhoven University)
- Iris van der Giessen (Birmingham University)
- Hidenori Kurokawa (Kanazawa University)
- Sonia Marin (Birmingham)
- Alberto Naibo (Paris 1 University)
- Antonio Piccolomini d'Aragona (Czech Academy of Sciences)
- Gabriel Scherer (INRIA, Saclay)
- Noam Zeilberger (École Polytechnique, Paris)