Retour /Back

Sémantique des preuves et des programmes et formalisation des mathématiques
Semantics of Proofs and Certified Mathematics
07/04/2014 - 18/04/2014


Liste des participants / List of participants
Programme

Organisateurs / Organizer:

Pierre-Louis CURIEN
Université Paris-Diderot
Laboratoire PPS
175, rue du Chevaleret
75205 Paris Cedex 13, FRANCE


Hugo HERBELIN
IRIF - Université Paris Cité
Laboratoire PPS
175, rue du Chevaleret
75205 Paris Cedex 13, FRANCE


Paul-André MELLIES
Université Paris Cité
Laboratoire PPS
175, rue du Chevaleret
75205 Paris Cedex 13, FRANCE