Projets de Collaboration
Nous avons les suivant projets:
- ANR (2014-19)
- Partenaire: Marseille, Paris 7, Inria Lille (Links)
- Responsable: Joachim Niehren (Lille)
DATACERT: Data Intensive Management Systems Deep Specification
- ANR (2015-20)
- Partenaire: Paris Saclay, Inria Lille (Links)
- Responsable: Evelyn Contejeau
- Responsable for Links: iovka Boneva
CoLiS: Correctness of Linux Scripts
- ANR (2015-20)
- Partenaire: INRIA Saclay (Toccata), Université Paris 7, Inria Lille (Links)
- Responsible: Ralf Treinen
- Responsible for Lille: Joachim Niehren
- ANR (2016-21)
- Partenaire: Rennes, Inria Paris (Valda), Inria Lille (Links)
- Industrial partners: Spipoll, Foulefactory
- Responsable: David Gross-Amblard
- Responsable Lille: Pierre Bourhis
DELTA Défis pour la Logique, les Transducteurs et les Automates
- ANR (2016-21)
- Partenaire: Univ. Bordeaux, Univ. Marseille
- Responsable: Marc Zeitoun
- Responsable Lille: Pierre Bourhis
BRAVAS: IDEAL-BASED ALGORITHMS FOR VASSES AND WELL-STRUCTURED SYSTEMS
- ANR (2017-20)
- Partenaire: LaBRI (University of Bordeaux & CNRS), LSV (ENS Paris-Saclay & CNRS), Inria Lille (Links)
- Responsable: Jérôme Leroux
- Responsable for Links: Sylvain Salvati