Print this Page

Projects

Collaboration Projects

We have the following collaboration projects

DATACERT: Data Intensive Management Systems Deep Specification

    • ANR (2015-20)

    • Partners: Paris Saclay, Inria Lille (Links)

    • Responsible: Evelyn Contejeau
    • Responsible for Links: iovka Boneva

CoLiS: Correctness of Linux Scripts

AGGREG Aggregate Queries

  • ANR (2014-19)
  • Partners: Marseille, Paris 7, Inria Lille (Links)
  • Responsible: Joachim Niehren (Lille)

HEADWORK

DELTA Défis pour la Logique, les Transducteurs et les Automates

  • ANR (2016-21)
  • Partners: Univ. Bordeaux, Univ. Marseille
  • Responsible: Marc Zeitoun
  • Responsible Lille: Pierre Bourhis

 

 

Permanent link to this article: https://team.inria.fr/links/collaboration/