English

Xavier URBAIN

[photo]

Maître de conférences, ENSIIE,
Équipe CPR, Cedric, CNAM.

Délégation CNRS, équipe Proval, LRI, CNRS UMR8623, Univ. Paris-Sud, INRIA Saclay.

Adresse ENSIIE :	1 square de la Résistance, 91025 Évry cedex France
Adresse LRI :	INRIA Saclay - Île-de-France, Parc Orsay Université - ZAC des Vignes
	4 rue Jacques Monod - Bâtiment N, 91893 ORSAY Cedex France

Courrier électronique : [prénom].[nom]@ensiie(dot)fr
http://www.ensiie.fr/~urbain

---

---

Activités :

Coordinateur du projet ÎdF-Digitéo PACTOLE Coordinateur du projet ANR A3PAT Membre du projet ANR SCALP ; Récriture ; Terminaison ; Vérification de programmes Java. Comité de programme de WRLA 08 ; Organisation du colloque RDP 2007.

Publications :

• [html]

---

Séminaires CPR

• Prochains séminaires.

---

Enseignement :

• ENSIIE 1. -- IAP1 ;
• ENSIIE 1. -- IAP2 ;
• ENSIIE 2. -- Prolog ;
• ENSIIE 3/Master MOPS. -- ITP.

• MPRI. -- Démonstration automatique [2.5]
  projet 08/09

• FIP. -- Algorithmique ;
• FIP. -- Compilation.

---

Clef gpg : 421C F634 7D01 FF31 17D6 F77E 2BC6 F716 1622 F1F0