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