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.


May 29, 2018:

May 30, 2018: