Français

Xavier URBAIN

[picture]

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

Délégation INRIA, team Proval, INRIA Saclay Île-de-France, LRI, CNRS UMR8623, Univ. Paris-Sud.

Contact address ENSIIE:	1 square de la Résistance, 91025 Évry cedex France
New Contact address LRI:	Bât 650, Univ. Paris-Sud, 91405 Orsay Cedex, France

e-mail address: [prénom].[nom]@ensiie(dot)fr
http://www.ensiie.fr/~urbain

---

---

Activities:

Principal investigator of the ÎdF-Digitéo project PACTOLE [Meeting 4/11] Principal investigator of the ANR project A3PAT Member of the ANR-project SCALP; Automated proof and its certification; Rewriting; Termination; Verification of Java programs. Organisation of RDP 2007. PC member of WRLA 08. International School of Rewriting 2012 in Valencia ISR 2012.

Publications:

• [html]

---

CPR team seminars

• Upcoming seminars.

---

Teaching:

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

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

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

---

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