Type Gestionnaire Acronyme Nom Responsable Début Fin
LIA CNRS FILOFOCS French-Israeli Laboratory on Foundations of Computer Science Rosén Adi 2012-01-01 2018-12-31
LEA CNRS STRUCO Structures in Combinatorics Charbit Pierre 2012-01-01 2020-12-31
ANR Univ RAPIDO Reasoning And Programming With Infinite Data Objects Saurin Alexis 2015-01-01 2019-12-31
GDRI 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 2018-12-31
PICS 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 2021-12-31
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 2018-01-01 2021-12-31
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 2020-04-30
ERC Univ FOVEDIS Formal specification and verification of distributed data structures Enea Constantin 2016-05-01 2021-04-30
Marie Curie Univ POLYBAR-Postdoc A new approach to polymorphism through bar recursion - Valentin Blot Herbelin Hugo 2018-06-01 2019-02-28
SIRTEQ CNRS QML-Postdoc Quantum Machiner Learning - Anupam Prakash Kerenidis Iordanis 2018-07-01 2018-12-31
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 Univ IUF Senior Delia Kesner Kesner Delia 2018-09-01 2023-08-31
ANR Univ PACS Parametric Analyses of Concurrent Systems Habermehl Peter 2014-10-01 2019-09-30
ANR Univ COLIS Correctness of Linux Scripts Treinen Ralf 2015-10-01 2019-09-30
ANR Univ DELTA Défis pour la Logique, les Transducteurs et les Automates Pin Jean-Éric 2016-10-01 2020-09-30
FSMP Univ Postdoc Ami Paz Fraigniaud Pierre 2017-10-01 2019-09-30
Marie Curie Univ RASIR-Postdoc Rule-algebraic Simple Rewriting - Nicolas Behr Krivine Jean 2017-10-01 2019-09-30
ANR Univ DESCARTES Abstraction Layers for Distributed Computing Fauconnier Hugues 2017-10-01 2021-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
PICS 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
LIA CNRS INFINIS INformatique Fondamentale, logIque, laNgages, vérIfication et Systèmes Kesner Delia 2011-09-01 2019-09-01
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
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
IUF Univ IUF Senior 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
FSMP Univ Postdoc 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