Projects

Collaboration Projects

We have the following collaboration projects

AGGREG Aggregate Queries

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

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

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

BRAVAS: IDEAL-BASED ALGORITHMS FOR VASSES AND WELL-STRUCTURED SYSTEMS

  • ANR (2017-20)
  • Partners: LaBRI (University of Bordeaux & CNRS), LSV (ENS Paris-Saclay & CNRS), Inria Lille (Links)
  • Responsible: Jérôme Leroux
  • Responsible for Links: Sylvain Salvati

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