• View
• Edit
• History
• Print

Members

• From the IRIT
  • Philippe Balbiani (DR2 CNRS)
  • Joseph Boudou (PhD under the supervision of Philippe Balbani)
  • Olivier Gasquet (PR Université Paul Sabatier)
  • Andreas Herzig (DR2 CNRS)
• From the LORIA
  • Jean-René Courtault (PhD in the TYPES team)
  • Vincent Demange (post-doc ANR DynRes)
  • Hans van Ditmarsch (DR2 CNRS)
  • Didier Galmiche (PR1 Université de Lorraine)
  • Dominique Larchey-Wendling (CR1 CNRS)
  • Daniel Méry (Mcf Université de Lorraine)
• From the LSV
  • Stéphane Demri (DR2 CNRS)