Partners

Laboratoire Informatique, Signaux et Systèmes de Sophia Antipolis (i3s)

  • Unit : UMR Université Côte d’Azur / CNRS
  • Team : Kairos team (Inria / i3S)
  • PI : Frédéric Mallet (Project Leader)
  • Members : Julien Deantoni, Marie-Agnes Peraldi-Frati
read more
Partners

Institut de Recherche en Informatique de Toulouse (IRIT)

  • Members: Marc Pantel, Xavier Crégut, Guillaume Dupont, Neeraj Singh
read more
Partners

Laboratoire d’Algorithmique, Complexité et Logique (LACL)

read more
Partners

Laboratoire d’Informatique de Paris-Nord (LIPN)

  • Members: Laure Petrucci, Étienne André
read more
Partners

Laboratoire Méthodes Formelles (LMF)

  • Members: Frédéric Boulanger
read more
Partners

Université de Sherbrooke

read more