Second FISP Meeting

Paris, June 8 to June 10, 2017


The FISP project is part of a long-term, ambitious project whose objective is to apply the powerful and promising techniques from structural proof theory to central problems in computer science for which they have not been used before, especially the understanding of the computational content of proofs, the extraction of programs from proofs and the logical control of refined computational operations.

The purpose of this second meeting is to discuss recent advances made the participants of the "FISP project".

Invited Speakers

Sergey Slavnov (HSE Tikhonov Moscow Institute of Electronics and Mathematics)
Simona Ronchi Della Rocca (Università di Torino)
Christian Retoré (LIRMM, Université Montpellier)
Alessio Guglielmi (University of Bath)
Emmanuel Beffara (Université d'Aix-Marseille)


Juan P​.​ Aguilera​ (Vienna)
Andrea Aler-Tubella (Paris)
Matthias Baaz (Vienna)
Emmanuel Beffara (Marseille)
Anupam Das (Lyon)
Francesco Genco (Vienna)
Alessio Guglielmi (Bath)
Delia Kesner (Paris)
Anela Lolic (Vienna)
Sonia Marin (Paris)
Kenji Miyamoto (Innsbruck)
Georg Moser (Innsbruck)
Michel Parigot (Paris)
Paul Rozière (Paris)
Christian Retoré (Montpellier)
Simona Ronchi Della Rocca (Turin)
David R. Sherratt (Bath)
Sergey Slavnov (Moscow)
Lutz Straßburger (Paris)



Abstracts of Talks


On Thursday and Friday we will be in the Sophie Germain building of IRIF, Université Paris Paris-Diderot - Paris 7, Room 1009.

And on Saturday we will be in the Halle aux Farines, Université Paris Paris-Diderot - Paris 7, Room 478F.


Andrea Aler-Tubella
Delia Kesner
Michel Parigot
Paul Rozière
Lutz Straßburger