English

Xavier URBAIN

[photo]

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

Adresse ENSIIE :	1 square de la Résistance, 91025 Évry Cedex France
Nouvelle adresse LRI :	Bât 650, Univ. Paris-Sud, 91405 Orsay Cedex, France

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

Directeur de la formation et de la pédagogie de l'ENSIIE
dir-etudes@ensiie(dot)fr

---

---

Activités :

Coordinateur du projet ÎdF-Digitéo PACTOLE [Réunion 4/11] Coordinateur du projet ANR A3PAT Membre du projet ANR SCALP ; Certification de preuve automatique ; Récriture ; Terminaison ; Vérification de programmes Java. Organisation du colloque RDP 2007. Comité de programme de WRLA 08. International School of Rewriting 2012 à Valence ISR 2012.

Publications :

• [html]

---

Séminaires CPR

• Anciens séminaires (2006--2009)
• Séminaires actuels

---

Enseignement

• ENSIIE 1. -- Prise en main des machines ;
• ENSIIE 1. -- Programmation fonctionnelle
  • Sujet de projet 2011 : [html] ;
  • Quelques uns des codes vus en cours : [ml] ;
  • Résumé des cours : 1234 [pdf], 56 [pdf], 789 [pdf].
• ENSIIE 2. -- Langages formels (résumé des slides [pdf]) ;

• MPRI. -- Démonstration automatique [2.5]
  

  ---

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