Preuves, Programmes et Systèmes
Institut de Recherche en Informatique Fondamentale
Université Paris Cité
Bâtiment Sophie Germain
8 Place Aurélie Nemours 75013 Paris
3ème étage, bureau 3045 , tel. +33/(0)157279433,
email: buccia_at_irif.fr
