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".
TBA
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.