Type Manager Acronym Name Leader From To
UMI Univ FILOFOCS French-Israeli Laboratory on Foundations of Computer Science Rosén Adi 2019-01-01 2023-12-31
IRP CNRS STRUCO Structures in Combinatorics Charbit Pierre 2012-01-01 2020-12-31
ANR Univ FREDDA FoRmal mEthods for the Design of Distributed Algorithms Sangnier Arnaud 2018-01-01 2023-03-31
ANR Inria MULTIMOD Scalable routing in Multi-Modal transportation networks Viennot Laurent 2018-01-01 2022-06-30
PIA Univ OSTV Open Source Telecom Vendor Chroboczek Juliusz 2016-10-01 2020-10-01
ERC CNRS COMBITOP New Interactions of Combinatorics Through Topological Expansions Chapuy Guillaume 2017-03-01 2022-02-28
ERA-NET Univ QUANTALGO Quantum Algorithms and Applications Santha Miklos 2018-03-01 2021-02-28
ANR Univ HOSIGRA HOmomorphisms of SIgned GRAphs Naserasr Reza 2018-03-01 2022-08-28
ERC CNRS DBA Distributed Biological Algorithms Korman Amos 2015-05-01 2021-04-30
ERC Univ FOVEDIS Formal specification and verification of distributed data structures Enea Constantin 2016-05-01 2021-04-30
ERC CNRS DUALL Duality in Formal Languages and Logic Gehrke Mai 2015-09-01 2020-08-31
CIFRE Univ ATOS Alessandro Luongo Kerenidis Iordanis 2017-09-01 2020-08-31
IUF Senior Univ IUF Kesner Delia Kesner Kesner Delia 2018-09-01 2023-08-31
ANR Univ COLIS Correctness of Linux Scripts Treinen Ralf 2015-10-01 2021-03-31
ANR Univ DELTA Défis pour la Logique, les Transducteurs et les Automates Carton Olivier 2016-10-01 2021-03-31
ANR Univ DESCARTES Abstraction Layers for Distributed Computing Fauconnier Hugues 2017-10-01 2021-03-31
ANR Univ DISTANCIA Metric graph theory Charbit Pierre 2017-10-01 2022-03-31
ANR Univ QUBIC Quantum Banknotes and Information-Theoretic Credit Cards Kerenidis Iordanis 2017-10-01 2022-03-31
ANR Univ CODYS Orbites des systèmes dynamiques discrets en informatique Berthé Valérie 2018-11-01 2023-05-01
ANR Univ QUDATA Quantum algorithms for massive data Magniez Frédéric 2019-01-01 2023-06-30
ANR Univ DCORE Causal debuggers for concurrent systems Krivine Jean 2019-04-01 2023-09-30
ANR Univ QUID Efficient Querying for Incomplete and Inconsistent Data Sirangelo Cristina 2019-04-01 2023-09-30
IRN CNRS ALEA Aléa Network Ravelomanana Vlady 2019-01-01 2023-12-31
Autre CNRS TOTAL Contrat spécifique de collaboration Kerenidis Iordanis 2019-06-01 2021-05-31
ANR Univ AdeCoDS Programming, verifying, and synthesizing Adequately Consistent Distributed Systems Bouajjani Ahmed 2019-10-01 2024-03-31
ANR CNRS COMBINé Enumerative combinatorics interacting with Algebra, Number Theory and Physics Lovejoy Jeremy 2020-01-01 2024-06-30
ANR Univ PPS Probabilistic Programming Semantics Ehrhard Thomas 2019-10-01 2024-03-31
PEPS CNRS SCENE Secure Computation over Encrypted NEtworks Couteau Geoffroy 2020-01-01 2020-12-31
IUF Univ IUF Schmitz Sylvain Schmitz Schmitz Sylvain 2019-01-01 2023-12-31
IUF Univ IUF Enea Constantin Enea Enea Constantin 2020-01-01 2024-12-31
Emergence Univ BAD Blockchain et algorithmes distribué Delporte Carole 2020-01-01 2020-12-31
ANR CNRS Algoridam Algorithmic Theory of New Data Models Mathieu Claire 2020-01-01 2023-06-30
PEPS CNRS TOTTI Towards formal methods against flakiness Bernardi Giovanni 2020-03-01 2020-12-31
PEPS CNRS SPAI Structural Pameterizations in Artificial Intelligence Mitsou Valia 2020-03-01 2020-12-31
PEPS CNRS VUIP Verified Uniform Interpolation Proofs Van-Gool Sam - Férée Hugo 2020-03-01 2020-12-31
Type Manager Acronym Name Leader From To
ERC CNRS GALE Games and Automata for Logic Extensions Colcombet Thomas 2011-01-01 2015-12-31
ANR Univ RAPIDO Reasoning And Programming With Infinite Data Objects Saurin Alexis 2015-01-01 2019-09-30
IRN CNRS LL Linear Logic Ehrhard Thomas 2015-01-01 2019-12-31
ANR Univ FISP The fine structure of formal proof systems and their computational interpretations Parigot Michel 2016-01-01 2019-10-31
IEA CNRS QIP Quantum Information Processing Magniez Frédéric 2017-01-01 2019-12-31
ANR Univ MEALYN Mealy machines, automaton (semi)groups, decision problems and random generation Picantin Matthieu 2013-02-01 2017-01-31
ERC CNRS QCC Quantum Communication and Cryptography Kerenidis Iordanis 2013-05-01 2018-04-30
Marie Curie Univ POLYBAR A new approach to polymorphism through bar recursion - Valentin Blot Herbelin Hugo 2018-06-01 2019-02-28
SIRTEQ CNRS QML Quantum Machiner Learning - Anupam Prakash Kerenidis Iordanis 2018-07-01 2018-12-31
IUF Senior Univ IUF Bouajjani Ahmed Bouajjani Bouajjani Ahmed 2013-09-01 2018-08-31
ANR Univ VECOLIB VErifying Automatically the Correct Use and Implementation of COntainer LIBraries Sighireanu Mihaela 2014-10-01 2018-09-30
ANR Univ PACS Parametric Analyses of Concurrent Systems Habermehl Peter 2014-10-01 2019-09-30
FSMP Univ Postdoc Paz Ami Paz Fraigniaud Pierre 2017-10-01 2019-09-30
Marie Curie Univ RASIR Rule-algebraic Simple Rewriting - Nicolas Behr Krivine Jean 2017-10-01 2019-09-30
FSMP Univ Postdoc Zetzsche Georg Zetzsche Serre Olivier 2017-11-01 2018-10-31
School CNRS EPIT 2018 Software Verification Spring School Enea Constantin 2018-05-07 2018-05-11
ANR Univ DYNA3S Dynamique des algorithmes du pgcd : une approche Algorithmique, Analytique, Arithmétique et Symbolique Berthé Valérie 2015-10-15 2018-10-14
IEA CNRS ACCA Constraint Analysis through Analytic Combinatorics Ravelomanana Vlady 2017-01-01 2019-12-31
IRN CNRS SINFIN Systèmes, vérIfication, iNformatique Fondamentale, logIque, laNgages Kesner Delia 2019-01-01 2019-12-31
ANR Univ RDAM Algorithmic techniques for Restricted Data Access Models Magniez Frédéric 2013-01-01 2017-12-31
ANR Univ CARTAPLUS Combinatoire des cartes et applications Chapuy Guillaume 2013-01-01 2016-01-01
ANR Univ CATHRE Catégories, Homotopie et Réécriture Curien Pierre-Louis 2014-01-01 2017-12-31
ANR Univ COQUAS COmputing with QUAntitative Semantics Pagani Michele 2013-01-01 2016-10-31
ANR Univ EQINOCS Entropie et quantité d'information dans les modèles des systèmes computationnels Asarin Eugène 2011-11-01 2016-05-31
IDEX Univ FOCAL Formalisation du Calcul Algébrique Curien Pierre-Louis 2013-07-01 2016-06-30
ANR Univ FAN Fractals and numeration Berthé Valérie 2013-03-01 2017-02-28
ANR Univ NETOC New Techniques in Online Computation Rosén Adi 2011-11-01 2015-10-31
ANR Univ REVER Programming reversible recoverable systems Krivine Jean 2011-12-01 2015-12-01
ANR Univ TYPEX Typeful certified XML: integrating language, logic, and dataoriented best practices Castagna Giuseppe 2012-01-06 2015-09-05
PEPS CNRS CoLA Combinatorial Lattices and Applications Delcroix-Oger Berenice 2019-03-01 2019-12-31
PEPS CNRS TYGANA Types Gardés : Nouvelles Approches Guatto Adrien 2019-03-01 2019-12-31
PEPS CNRS AAPS Algorithms and Approximations of Probabilistic Systems Shirmohammadi Mahsa 2019-03-01 2019-12-31
PEPS CNRS SDCC Systèmes Dynamiques : Calculabilité et Complexité Pouly Amaury 2019-02-01 2019-12-31