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 participantsProgramme
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