Roberto M. Amadio:
Professeur des Universités.
Université Paris Diderot (Paris 7),
UFR d'Informatique,
Laboratoire PPS (UMR CNRS 7126).
Coordonnées: amadio_pps_jussieu_fr.
Université Paris Diderot, PPS, Case 7014,
75205 Paris Cedex 13, FRANCE.
Publications,
Administration,
Enseignement.
Master Recherche MPRI,
Séminaire PPS,
Ecole de Printemps d'Informatique Théorique,
Paris Graduate School of Mathematical Sciences.
