ROOF : proposition d'une ACI Sécurité
En construction

Documents de travail

• la proposition (rtf)
• la proposition (pdf)

CV des étudiants

• CV de Frédéric Souchon
• CV de Gilles Ardourel

Les équipes

• INRIA – Projet OASIS (SmartTools) : http://www-sop.inria.fr/oasis/ (http://www-sop.inria.fr/oasis/Didier.Parigot)
• I3S - Projet OCL : http://www.i3s.unice.fr/~ocl/   (http://www-iutinfo.unice.fr/~lahire/ OFL/french/f-partie_ofl.html)
• LIRMM – Projet RPO : http://www.lirmm.fr/~ducour/index.html (http://www.lirmm. fr/~ardourel)
• UBS – Projet ??? :
• IMAG – Projet ??? :

Les participants

• Didier Parigot (INRIA, OASIS - SmartTools),
• Philippe Collet, Philippe Lahire, Pierre Crescenzo et Roger Rousseau (NICE, OCL)
• Gilles Ardourel, Marianne Huchard, Critstophe Dony Thérèse Libourel, Yolande Ahronovitz (LIRMM, RPO).
• Daniel Deveaux, Isabelle Borne, Jacques.Malenfant (UBS,)
• Dominique Rieu, Daniel Bardou, Marlene Villanova (IMAG,)

Didier Parigot.
e-mail:Didier.Parigot@inria.fr
Tél: 04 92 38 50 01
Fax: 04 92 38 76 44