QUARTEFT – QUAlifiable Real TimE Fiacre Transformation (FNRAE: Fondation de Recherche pour l’Aéronautique et l’Espace)
Participants: LAAS-CNRS, IRIT, PAREO (LORIA et INRIA Nancy – Grand-Est), AIRBUS France, Ellidiss
CORiAS – Conception et réalisation d’assistants à la preuve en surdéduction modulo (ARC Inria: Collaborative Research Initiatives)
Participants: TypiCal (INRIA Saclay – Ile-de-France), PAREO (LORIA et INRIA Nancy – Grand-Est)
SSURF – Safety and Security under FOCAL (ANR: national program on computer systems security and safety)
Participants: SPI – LIP6 – UPMC with Safe River, PAREO (LORIA et INRIA Nancy – Grand-Est), CPR – CEDRIC – CNAM, BERTIN Technologies
REWERSE – Reasoning on the Web with Rules and Semantics (Network of Excellence within the 6th Framework Programme)
MODULOGIC – design of a platform for building certified software (ACI SI: national program for understanding, defining and guaranteeing security and dependability at the system level)
Participants: FOC (LIP6, CEDRIC, INRIA-Rocquencourt), LOGICAL (INRIA-Futurs et LIX), MIRÓ (INRIA-Sophia-Antipolis), PROTHEO (LORIA et INRIA-Lorraine)
MANIFICO – non-intrusive meta-compilation of matching with constraints (RNTL)
Participants: Contraintes (INRIA-Rocquencourt), ILOG, PROTHEO (LORIA et INRIA-Lorraine)
