[Français]

Xavier URBAIN

[picture]

Full Professor,
Université Claude Bernard Lyon 1,
Team Drim, LIRIS, CNRS UMR5205/INSA/UCBL1/ULL2/Centrale Lyon.

Bât Nautibus, 25 av. Pierre de Coubertin, 69622 Villeurbanne Cedex, France
e-mail address: [name].[surname]@liris(dot)cnrs(dot)fr
http://liris.cnrs.fr/~xurbain

Member of the Scientific Board (CSI) of INS2I, CNRS.

---

Freedom for Tuna Altinel.

---

Events:

• Workshop FuReThErMoRe: Mobility and Redundancy, Lyon, 1st of october 2019, joint with SRDS.


• Workshop MoRoVer: Mobile Robots and Verification, Lyon, 15^th and 16^th of November 2017.

---

Activities:

Principal investigator of the ANR project SAPPORO Principal investigator of the ÎdF-Digitéo project PACTOLE Principal investigator of the ANR project A3PAT Member of the ANR-project SCALP Formal proof for networks of autonomous mobile robots (PACTOLE and SAPPORO); 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]

Teaching:

• Univ. Claude Bernard, L3 LIFLC Logics [site]
• Univ. Claude Bernard, M1 Calculability & complexity [site]
• M2IF Automated Deduction & Distributed Computing [site]


• Univ. Claude Bernard, L2 ASR4 Computer Architecture [site 2018]

• International School of Rewriting 2012, Valencia (Spain) ISR 2012.
  Lecture Track B "Advanced" Certification of Rewriting Properties [pdf]

---

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