Workshop on proof nets, May 29, 2018 – May 30, 2018
Workshop at the LIPN (Paris 13).
Organizer: Stefano Guerrini.
The workshop will have an open and informal format. The goal is to have some presentations and discussions of recent results, but also and mainly of open problems and perspectives of the research on proof nets and their applications.
Talks
May 29, 2018:
- Jean-Yves Girard , La Logique : 2.1, desaxiomatisation de l’arithmétique
May 30, 2018:
- Jean-Yves Girard , La Logique : 2.1, desaxiomatisation de l’arithmétique
- Jules Chouquet, Giulio Guerrieri, Damiano Mazza and Le Thanh Dung Nguyen , Contributed talks