Collaboration Projects
We have the following collaboration projects
- 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
- ANR (2015-20)
- Partners: INRIA Saclay (Toccata), Université Paris 7, Inria Lille (Links)
- Responsible: Ralf Treinen
- Responsible for Lille: Joachim Niehren
- ANR (2016-21)
- Partners: Rennes, Inria Paris (Valda), Inria Lille (Links)
- Industrial partners: Spipoll, Foulefactory
- Responsible: David Gross-Amblard
- Responsible Lille: Pierre Bourhis
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