Contrats en cours

Type Gestionnaire Acronyme Nom Responsable Début Fin
IUF Univ IUF Kesner Delia Kesner Kesner Delia 2018-09-01 2025-12-31
IRP CNRS SINFIN Systèmes, vérIfication, iNformatique Fondamentale, logIque, laNgages Kesner Delia 2019-01-01 2025-12-31
ERC CNRS PARQ Lattices in a Parallel and Quantum World Magniez Frédéric 2020-07-01 2025-06-30
ANR Univ CYPHAI Systèmes cyber-phisique et IA Asarin Eugène 2020-11-01 2025-10-31
ANR Univ COREGRAPHIE COmpression de REseaux et de GRAPHes pour une Informatique Efficace De Montgolfier Fabien 2021-04-01 2025-09-30
ANR Univ MAVEriQ Méthodes d'analyse pour la vérification de propriétés quantitatives Degorre Aldric 2021-03-01 2025-05-31
ANR Univ DIFFERENCE Théorie de la complexité avec des équations différentielles discrètes Laroussinie François 2020-11-16 2026-05-15
ANR CNRS ASESYC Cryptographie symétrique auditable, sûre & efficace Dagand Pierre-Evariste 2021-10-01 2025-10-31
ANR CNRS RECIPROG Raisonner avec des preuves circulaires pour la programmation Saurin Alexis 2021-10-01 2025-09-30
UE CNRS HPCQS High Performance Computer and Quantum Simulator hybrid Magniez Frédéric 2021-12-01 2025-12-01
ANR CNRS FLITTLA Lois fondamentales de la théorie de l'information à travers le prisme des applications Perifel Sylvain 2021-10-01 2026-03-31
ANR CNRS COMCOPT Méthodes Continues pour l'Optimisation Combinatoire Vladu Adrian 2022-04-01 2026-03-31
ERA-NET CNRS QOPT Quantum algorithms for optimization Magniez Frédéric 2022-05-01 2025-04-30
ANR CNRS QUOPS Algorithmes quantiques pour l'optimisation et l'échantillonnage moderne Apers Simon 2023-01-01 2026-12-31
IUF Univ IUF Carton Olivier Carton Carton Olivier 2022-10-01 2027-09-30
ANR CNRS VESYAM Vérification et synthèse de modèles algébriques Shirmohammadi Mahsa 2022-10-01 2026-09-30
PEPR CNRS EPIQ Quantum Software - Study of the quantum stack: Algorithm, models, and simulation for quantum computing Magniez Frédéric 2022-01-01 2027-12-31
ANR Univ TEMPOGRAL Algorithmique des graphes temporels : modèles, questions, résolution Viennot Laurent 2022-10-01 2027-02-28
ANR CNRS CoREACT Coq-based Rewriting: towards Executable Applied Category Theory Behr Nicolas 2022-10-01 2026-09-30
ANR CNRS ISOMA Ising Model on Maps Albenque Marie 2023-01-01 2025-09-30
PEPR CNRS Secure Compute Secure Compute Couteau Geoffroy 2022-07-01 2028-06-30
AMI Univ QuanTEdu QuanTEdu-France Magniez Frédéric 2022-09-01 2027-10-31
Autre CNRS AMAZON Safe composition of distributed off-the-shelf components Bouajjani Ahmed 2023-03-24 2050-12-31
Industriel CNRS RELATIONALAI Expressive power and complexity of relational languages for querying graphs Libkin Leonid 2023-09-01 2026-08-31
Marie Curie CNRS RANDNET Randomness and learning in networks Albenque Marie 2021-01-01 2026-04-30
EMERGENCE Univ APRAPRAM APRAPRAM Herbelin Hugo 2023-09-01 2025-08-31
EMERGENCE Univ TERVORS Toward Efficient Runtime Verification of Real-time Systems Foughali Mohammed 2023-09-01 2025-08-31
ERC CNRS OBELiSC Overcoming Barriers and Efficiency Limitations in Secure Computation Couteau Geoffroy 2024-09-01 2029-08-31
ANR Univ PaVeDys Vérification paramétrée de systèmes distribues dynamiques Fortin Marie 2023-10-01 2027-09-30
ANR Univ SYMDINAR SYMDINAR Berthé Valérie 2024-10-01 2027-09-30
PEPR CNRS HQI PEPR HQI : Apers Simon 2022-04-01 2028-03-31
ANR Univ PREDICTIONS PREDICTIONS : Rosén Adi 2023-10-01 2027-09-30
CIFRE CNRS BERMOT CIFRE Bermot Elie Apers Simon 2023-09-01 2026-08-31
GDR CNRS GDR IFM GDR IFM - Pierre Fraigniaud Fraigniaud Pierre 2024-01-01 2028-12-31
ANR CNRS CartesEtPlus Combinatoire des cartes, méandres et multicourbes, et ses interactions Chapuy Guillaume 2023-10-01 2028-12-31
ANR CNRS VeriGraph Requêtes et transformations vérifiables pour les graphes Libkin Leonid 2021-10-01 2025-09-30
ANR CNRS DefMal Défense contre les programmes malveillants Touili Tayssir 2022-07-01 2028-07-31
ANR Univ SiGraTop SiGraTop Naserasr Reza 2024-09-01 2026-08-31
ANR CNRS A2C Anonymat et l'Authenticité à Travers la Cryptographie Orru Michele 2024-10-01 2028-12-31
IDEX Univ QUILTING QUILTING Dagand Pierre-Evariste 2024-09-01 2026-08-31
ANR Univ ENEDISC Calcul Distribué Énergétiquement Efficace Rabie Mikael 2024-10-01 2028-12-31
STIFTUNG ETHEREUM CNRS Theory and practice of Fiat-Shamir Integrating the SAFE API into the theorical proofs in the IOP model Orru Michele 2024-07-01 2025-08-01
ANR CNRS GODASse Graphes Ordonnés : Décompositions, Algorithmes et Structures Charbit Pierre 2024-10-01 2029-03-31
UE Univ QCOMICAL Quantum Computing and its Calculi Kesner Delia 2024-12-01 2028-11-30
Idex Univ METALG METALG Blin Lelia 2024-09-01 2026-08-31
IND Univ DASHBIT DASHBIT Kesner Delia 2024-06-01 2025-12-31
ANR CNRS TopTT Espaces topologiques de types et de termes van Gool Sam 2023-10-01 2027-09-30
SUBV. PRIVE CNRS - Expressive power and complexity of relational languages for querying graphs Castagna Giuseppe 2023-09-01 2026-08-31
CIFRE CNRS - Optimisation quantique pour des problèmes combinatoires Apers Simon 2023-09-01 2026-08-31
ERC CNRS MALINCA MAthematicae LINgua franCA Melliès Paul-André 2025-03-01 2031-02-28
ANR Univ CENTEANES CENTEANES : Vers des applications serverless correctes par construction Bouajjani Ahmed 2025-02-01 2029-01-31

Anciens contrats depuis 2015

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
IRL Univ FILOFOCS UPC French-Israeli Laboratory on Foundations of Computer Science Rosén Adi 2019-01-01 2024-12-31
IRP CNRS STRUCO Structures in Combinatorics Charbit Pierre 2012-01-01 2019-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 2022-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 2017-10-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
ANR Univ MEALYN Mealy machines, automaton (semi)groups, decision problems and random generation Picantin Matthieu 2013-02-01 2017-01-31
ERC CNRS COMBITOP New Interactions of Combinatorics Through Topological Expansions Chapuy Guillaume 2017-03-01 2022-08-31
ERA-NET Univ QUANTALGO Quantum Algorithms and Applications Magniez Frédéric 2018-03-01 2022-06-30
ANR Univ HOSIGRA HOmomorphisms of SIgned GRAphs Naserasr Reza 2018-03-01 2023-07-31
ERC CNRS QCC Quantum Communication and Cryptography Kerenidis Iordanis 2013-05-01 2018-04-30
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 2022-08-31
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 Univ IUF Bouajjani Ahmed Bouajjani Bouajjani Ahmed 2013-09-01 2018-08-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
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
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 2022-06-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
ANR Univ DESCARTES Abstraction Layers for Distributed Computing Fauconnier Hugues 2017-10-01 2021-11-30
ANR Univ DISTANCIA Metric graph theory Charbit Pierre 2017-10-01 2023-07-31
ANR Univ QUBIC Quantum Banknotes and Information-Theoretic Credit Cards Kerenidis Iordanis 2017-10-01 2022-03-31
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
ANR Univ CODYS Orbites des systèmes dynamiques discrets en informatique Berthé Valérie 2018-11-01 2023-12-31
ANR Univ QUDATA Quantum algorithms for massive data Magniez Frédéric 2019-01-01 2024-06-30
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
ANR Univ DCORE Causal debuggers for concurrent systems Krivine Jean 2018-10-01 2024-03-31
ANR Univ QUID Efficient Querying for Incomplete and Inconsistent Data Sirangelo Cristina 2019-04-01 2024-09-30
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 2022-12-31
Autre CNRS TOTAL Contrat spécifique de collaboration Kerenidis Iordanis 2019-06-01 2021-07-31
ANR Univ AdeCoDS Programming, verifying, and synthesizing Adequately Consistent Distributed Systems Bouajjani Ahmed 2019-10-01 2024-12-31
ANR CNRS COMBINé Enumerative combinatorics interacting with Algebra, Number Theory and Physics Lovejoy Jeremy 2020-01-01 2025-03-31
ANR Univ PPS Probabilistic Programming Semantics Ehrhard Thomas 2019-10-01 2024-12-31
PEPS CNRS EEE Secure Computation over Encrypted NEtworks Couteau Geoffroy 2020-01-01 2020-12-31
IUF Univ IUF Schmitz Sylvain Schmitz Schmitz Sylvain 2019-01-01 2024-12-31
IUF Univ IUF Enea Constantin Enea Enea Constantin 2020-01-01 2021-10-31
Emergence Univ BAD Blockchain et algorithmes distribué Delporte Carole 2020-01-01 2021-12-31
ANR CNRS Algoridam Algorithmic Theory of New Data Models Mathieu Claire 2020-01-01 2024-12-31
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
CIFRE CNRS EDF Julien Rolland Bouajjani Ahmed 2020-04-01 2023-03-31
ANR CNRS SCENE Secure Computation over ENcrypted Networks Couteau Geoffroy 2021-01-01 2024-12-31
ANR Univ DUCAT Calcul distribué sur réseaux à la lumière de la topologie algébrique Fraigniaud Pierre 2021-03-15 2025-03-14
Emergence Univ IDiLL Implementing Differentiable Programming out of Linear Logic Pagani Michele 2021-01-01 2022-12-31
GDR CNRS GDR AMA Analyse multifractale et auto-similarité Berthé Valérie 2021-01-01 2023-12-31
PEPS CNRS DisReconf Reconfiguration distribuée et complexité de modèles distribués Rabie Mikael 2021-01-01 2021-12-31
Marie Curie CNRS FINTOINF Generalised Tree Automata, Monadic Second Order Logic and Transfer Principles in Combinatorial Limits- Mirna Dzamonja Schmitz Sylvain 2021-04-01 2023-03-31
Autre CNRS INTERCHAIN Constantin ENEA Enea Constantin 2021-03-17 2023-07-16
PEPS CNRS FORMATS Formal Modeling and Analysis of Timed Systems Shirmohammadi Mahsa 2021-01-01 2021-12-31
Emergence Univ PRAXIS Praxis of Programming Languages Dagand Pierre-Evariste 2021-05-05 2022-12-31
Emergence Univ QUBITS Mecanique Qubits Laplante Sophie 2021-01-01 2022-12-31
H2020 CNRS OpenQKD OpenQKD Kerenidis Iordanis 2019-09-02 2022-09-01
CIFRE Univ Colin Gonzales Cifre Nomadic Labs Colin Gonzales Treinen Ralf 2019-09-09 2022-09-08
CIFRE Univ Nomadic Labs Cifre Nomadic Labs Paul Laforge Castagna Giuseppe 2021-02-01 2024-01-31
ANR CNRS QUBOBS Représentations et dispositifs pour la vulgarisation du calcul quantique Laplante Sophie 2022-02-14 2024-05-31
CIFRE CNRS Remote Technologies Cifre DUBOC Castagna Giuseppe 2021-12-01 2024-11-30
PGMO Univ PGMO-PRMO Improved Sparse Optimisation for Machine Learning Vladu Adrian 2022-09-01 2024-08-31
EMERGENCE CNRS EMORS Efficient Monitoring of Real-time Systems Foughali Mohammed 2023-01-01 2023-12-31
IEA CNRS IEA INDE IEA INDE Shirmohammadi Mahsa 2023-01-01 2024-12-31
FP7 Univ QALGO Quantum Algorithmics Santha Miklos 2013-05-01 2016-04-30
IEA CNRS ALFRED Algorithmes pour des modèles de données restreints Vladu Adrian 2023-01-01 2024-12-31
IEA CNRS ALiMaLiO Sur les limites d'objets appartenant à la classe d'universalité des cartes planaires Albenque Marie 2023-01-01 2024-12-31
AMI Univ Promenades Numériques Promenades Numériques Perifel Sylvain 2023-01-01 2023-12-31
ANR CNRS TOPTT TOPTT : van Gool Sam 2023-10-01 2024-09-30
PEPS Univ DOUTEAU PEPS Douteau Douteau Sylvain 2023-01-01 2023-12-31
AAP CNRS RFACS Refinements for asynchronous concurrent software Bernardi Giovanni 2024-01-01 2024-12-31
Autre CNRS NR IRIF-MORPHO Krivine Jean 2024-09-01 2025-02-28