Informations  
Titre  (title): BSP, bon à toutes les sauces
Application to Functional Programming, Mechanised Verification and Security Protocols
Lieu (place): Université de Paris-Est Créteil
Faculté des Sciences économiques et de Gestion
Salle Keynes (2nd étage)
4 route de Choisy
94010 Créteil cedex
Google map
Depuis la station de métro (from subway station) 'Créteil-Université'
Date : Lundi 10/12/2012, 10h (Monday 12/10/2012, 10:00am)
Jury :
President: Pr. Kevin Hammond Univ. of St. Andrews
Referees: Pr. Jaco van de Pol Univ. of Twente
Pr. Joaquim Gabarró Univ. of Catalunya
Dr. Jean-Christophe Filliâtre Univ. of Paris-South/CNRS
Examiners: Pr. Herbert Kuchen Univ. of Münster
Pr. Marco Danelutto Univ. of Pisa
Pr. Zhenjiang Hu Univ. of Sokendai/Tokyo/NII
Pr. Frédéric Loulergue Univ. of Orléans
Supervisor: Pr. Gaétan Hains Univ. of Paris-East
Documents  
Le manuscript    02/12/2012

Les transparents (slides)    02/12/2012