Type Gestionnaire Acronyme Nom Responsable Début Fin
IRP CNRS STRUCO Structures in Combinatorics Charbit Pierre 2012-01-01 2020-12-31
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 FREDDA FoRmal mEthods for the Design of Distributed Algorithms Sangnier Arnaud 2018-01-01 2022-09-30
ANR Inria MULTIMOD Scalable routing in Multi-Modal transportation networks Viennot Laurent 2018-01-01 2021-12-31
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-02-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 2020-09-30
ANR Univ DELTA Défis pour la Logique, les Transducteurs et les Automates Carton Olivier 2016-10-01 2020-09-30
ANR Univ DESCARTES Abstraction Layers for Distributed Computing Fauconnier Hugues 2017-10-01 2020-09-30
ANR Univ DISTANCIA Metric graph theory Charbit Pierre 2017-10-01 2021-09-30
ANR Univ QUBIC Quantum Banknotes and Information-Theoretic Credit Cards Kerenidis Iordanis 2017-10-01 2021-09-30
IEA CNRS ACCA Constraint Analysis through Analytic Combinatorics Ravelomanana Vlady 2017-01-01 2019-12-31
ANR Univ CODYS Orbites des systèmes dynamiques discrets en informatique Berthé Valérie 2018-11-01 2022-11-01
ANR Univ QUDATA Quantum algorithms for massive data Magniez Frédéric 2019-01-01 2022-12-31
IRN CNRS SINFIN Systèmes, vérIfication, iNformatique Fondamentale, logIque, laNgages Kesner Delia 2019-01-01 2019-12-31
ANR Univ DCORE Causal debuggers for concurrent systems Krivine Jean 2019-04-01 2023-03-31
ANR Univ QUID Efficient Querying for Incomplete and Inconsistent Data Sirangelo Cristina 2019-04-01 2023-03-31
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
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
Type Gestionnaire Acronyme Nom Responsable Début Fin
ERC CNRS GALE Games and Automata for Logic Extensions Colcombet Thomas 2011-01-01 2015-12-31
LIA CNRS FILOFOCS French-Israeli Laboratory on Foundations of Computer Science Rosén Adi 2012-01-01 2018-12-31
ANR Univ RAPIDO Reasoning And Programming With Infinite Data Objects Saurin Alexis 2015-01-01 2019-09-30
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
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