Preuves, Programmes et Systèmes,
Université Paris Diderot,
175 rue du Chevaleret
75013 Paris
France
buccia_at_pps_dot_jussieu_dot_fr
Bureau 6B01/ter , tel. +33/(0)1.57.27.92.17,
Correspondant du Bureau des Relations Internationales de l' Université Paris Diderot
