English

Xavier URBAIN

[photo]

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

Adresse postale : 1 square de la Résistance, 91025 Évry cedex France

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

---

---

Activités :

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]
  

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

---

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