===== Contrats en cours =====
^ Type ^ Gestionnaire ^ Acronyme ^ Nom ^ Responsable ^ Début ^ Fin ^
| IRL | Univ | FILOFOCS UPC | [[https://www.filofocs.org/|French-Israeli Laboratory on Foundations of Computer Science]] | Rosén Adi | 2019-01-01 | 2024-12-31 |
| IUF | Univ | IUF Kesner | [[http://www.iufrance.fr/detail-de-lactualite/123.html|Delia Kesner]] | Kesner Delia | 2018-09-01 | 2024-12-31 |
| ANR | Univ | QUDATA | [[https://www.irif.fr/~magniez/qudata/|Quantum algorithms for massive data]] | Magniez Frédéric | 2019-01-01 | 2024-06-30 |
| IRP | CNRS | SINFIN | [[http://www.lia-sinfin.org|Systèmes, vérIfication, iNformatique Fondamentale, logIque, laNgages]] | Kesner Delia | 2019-01-01 | 2024-12-31 |
| ANR | Univ | QUID | [[http://quid.labri.fr/home.html|Efficient Querying for Incomplete and Inconsistent Data]] | Sirangelo Cristina | 2019-04-01 | 2024-09-30 |
| ANR | Univ | AdeCoDS | [[https://www.irif.fr/~gio/adecods/index.xhtml|Programming, verifying, and synthesizing Adequately Consistent Distributed Systems]] | Bouajjani Ahmed | 2019-10-01 | 2024-12-31 |
| ANR | CNRS | COMBINé | [[http://anr-combine.math.cnrs.fr/|Enumerative combinatorics interacting with Algebra, Number Theory and Physics]] | Lovejoy Jeremy | 2020-01-01 | 2025-03-31 |
| ANR | Univ | PPS | [[https://www.irif.fr/anrpps|Probabilistic Programming Semantics]] | Ehrhard Thomas | 2019-10-01 | 2024-12-31 |
| IUF | Univ | IUF Schmitz | [[http://www.iufrance.fr/les-membres-de-liuf/membre/1899-sylvain-schmitz.html|Sylvain Schmitz]] | Schmitz Sylvain | 2019-01-01 | 2024-12-31 |
| ANR | CNRS | Algoridam | [[https://www.irif.fr/~algoridam/|Algorithmic Theory of New Data Models]] | Mathieu Claire | 2020-01-01 | 2024-12-31 |
| ERC | CNRS | PARQ | [[https://cordis.europa.eu/project/id/885394/fr|Lattices in a Parallel and Quantum World]] | Magniez Frédéric | 2020-07-01 | 2025-06-30 |
| ANR | CNRS | SCENE | [[https://geoffroycouteau.github.io/grants/|Secure Computation over ENcrypted Networks]] | Couteau Geoffroy | 2021-01-01 | 2024-12-31 |
| ANR | Univ | CYPHAI | [[http://www.cyphai.io/|Systèmes cyber-phisique et IA]] | Asarin Eugène | 2020-11-01 | 2025-10-31 |
| ANR | Univ | COREGRAPHIE | [[https://coregraphie.projet.liris.cnrs.fr/|COmpression de REseaux et de GRAPHes pour une Informatique Efficace]] | De Montgolfier Fabien | 2021-04-01 | 2025-09-30 |
| ANR | Univ | MAVEriQ | [[https://www.irif.fr/users/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 | [[https://anr.fr/Projet-ANR-20-CE48-0002|Théorie de la complexité avec des équations différentielles discrètes]] | Laroussinie François | 2020-11-16 | 2026-05-15 |
| ANR | Univ | DUCAT | [[https://anr.fr/Project-ANR-20-CE48-0006|Calcul distribué sur réseaux à la lumière de la topologie algébrique]] | Fraigniaud Pierre | 2021-03-15 | 2025-03-14 |
| ANR | CNRS | ASESYC | [[https://anr.fr/Project-ANR-21-CE39-0001|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 | [[https://www.hpcqs.eu/|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 | QUBOBS | [[https://www.irif.fr/en/users/qubobs/index|Représentations et dispositifs pour la vulgarisation du calcul quantique]] | Laplante Sophie | 2022-02-14 | 2024-05-31 |
| ANR | CNRS | COMCOPT | Méthodes Continues pour l'Optimisation Combinatoire | Vladu Adrian | 2022-04-01 | 2026-03-31 |
| ERA-NET | CNRS | QOPT | [[https://quantera.eu/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 |
| CIFRE | CNRS | Remote Technologies | Cifre DUBOC | Castagna Giuseppe | 2021-12-01 | 2024-11-30 |
| IUF | Univ | IUF Carton | [[https://www.iufrance.fr/les-membres-de-liuf/membre/2387-olivier-carton.html|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 | [[https://project.inria.fr/epiq/fr/|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 | [[https://www.labri.fr/perso/acasteig/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 |
| PGMO | Univ | PGMO-PRMO | Improved Sparse Optimisation for Machine Learning | Vladu Adrian | 2022-09-01 | 2024-08-31 |
| PEPR | CNRS | Secure Compute | Secure Compute | Couteau Geoffroy | 2022-07-01 | 2028-06-30 |
| IEA | CNRS | IEA INDE | IEA INDE | Shirmohammadi Mahsa | 2023-01-01 | 2024-12-31 |
| 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 | QuanTEdu | [[https://www.u-bourgogne.fr/actualites/projet-qantedu.html|QuanTEdu-France]] | Magniez Frédéric | 2022-01-01 | 2027-12-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 |
| ANR | CNRS | TOPTT | TOPTT : | van Gool Sam | 2023-10-01 | 2024-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 |
| AAP | CNRS | RFACS | Refinements for asynchronous concurrent software | Bernardi Giovanni | 2024-01-01 | 2024-12-31 |
===== Anciens contrats depuis 2015 =====
^ Type ^ Gestionnaire ^ Acronyme ^ Nom ^ Responsable ^ Début ^ Fin ^
| ERC | CNRS | GALE | [[https://cordis.europa.eu/project/rcn/97598_fr.html|Games and Automata for Logic Extensions]] | Colcombet Thomas | 2011-01-01 | 2015-12-31 |
| IRP | CNRS | STRUCO | [[https://www.irif.fr/~charbit/STRUCO/|Structures in Combinatorics]] | Charbit Pierre | 2012-01-01 | 2019-12-31 |
| ANR | Univ | RAPIDO | [[https://www.irif.fr/~saurin/RAPIDO/|Reasoning And Programming With Infinite Data Objects]] | Saurin Alexis | 2015-01-01 | 2019-09-30 |
| IRN | CNRS | LL | [[http://linear-logic.org/en/|Linear Logic]] | Ehrhard Thomas | 2015-01-01 | 2022-12-31 |
| ANR | Univ | FISP | [[http://www.agence-nationale-recherche.fr/Project-ANR-15-CE25-0014|The fine structure of formal proof systems and their computational interpretations]] | Parigot Michel | 2016-01-01 | 2019-10-31 |
| IEA | CNRS | QIP | [[https://www.irif.fr/~magniez/quantum-irif-iqc/|Quantum Information Processing]] | Magniez Frédéric | 2017-01-01 | 2019-12-31 |
| ANR | Univ | FREDDA | [[https://www.irif.fr/~fredda/|FoRmal mEthods for the Design of Distributed Algorithms]] | Sangnier Arnaud | 2017-10-01 | 2023-03-31 |
| ANR | Inria | MULTIMOD | [[https://project.inria.fr/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 | [[https://www.irif.fr/~klimann/MealyM/|Mealy machines, automaton (semi)groups, decision problems and random generation]] | Picantin Matthieu | 2013-02-01 | 2017-01-31 |
| ERC | CNRS | COMBITOP | [[https://www.irif.fr/~chapuy/CombiTop.html|New Interactions of Combinatorics Through Topological Expansions]] | Chapuy Guillaume | 2017-03-01 | 2022-08-31 |
| ERA-NET | Univ | QUANTALGO | [[http://quantalgo.ulb.be|Quantum Algorithms and Applications]] | Magniez Frédéric | 2018-03-01 | 2022-06-30 |
| ANR | Univ | HOSIGRA | [[https://www.irif.fr/~hosigra/|HOmomorphisms of SIgned GRAphs]] | Naserasr Reza | 2018-03-01 | 2023-07-31 |
| ERC | CNRS | QCC | [[https://cordis.europa.eu/project/rcn/108303_fr.html|Quantum Communication and Cryptography]] | Kerenidis Iordanis | 2013-05-01 | 2018-04-30 |
| ERC | CNRS | DBA | [[https://cordis.europa.eu/project/rcn/194520_en.html|Distributed Biological Algorithms]] | Korman Amos | 2015-05-01 | 2021-04-30 |
| ERC | Univ | FOVEDIS | [[https://cordis.europa.eu/project/rcn/199509_en.html|Formal specification and verification of distributed data structures]] | Enea Constantin | 2016-05-01 | 2022-08-31 |
| Marie Curie | Univ | POLYBAR | [[https://cordis.europa.eu/project/rcn/215744_en.html|A new approach to polymorphism through bar recursion - Valentin Blot]] | Herbelin Hugo | 2018-06-01 | 2019-02-28 |
| SIRTEQ | CNRS | QML | [[http://www.sirteq.org/AAP/resultats-des-aap-post-doctoral-2017/|Quantum Machiner Learning - Anupam Prakash]] | Kerenidis Iordanis | 2018-07-01 | 2018-12-31 |
| IUF | Univ | IUF Bouajjani | [[http://www.iufrance.fr/les-membres-de-liuf/membre/6-ahmed-bouajjani.html|Ahmed Bouajjani]] | Bouajjani Ahmed | 2013-09-01 | 2018-08-31 |
| ERC | CNRS | DUALL | [[https://math.unice.fr/~mgehrke/DuaLL.htm|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 | [[http://vecolib.imag.fr/|VErifying Automatically the Correct Use and Implementation of COntainer LIBraries]] | Sighireanu Mihaela | 2014-10-01 | 2018-09-30 |
| ANR | Univ | PACS | [[https://lipn.univ-paris13.fr/PACS/|Parametric Analyses of Concurrent Systems]] | Habermehl Peter | 2014-10-01 | 2019-09-30 |
| ANR | Univ | COLIS | [[https://www.irif.fr/~treinen/colis/|Correctness of Linux Scripts]] | Treinen Ralf | 2015-10-01 | 2021-03-31 |
| ANR | Univ | DELTA | [[https://delta.labri.fr/|Défis pour la Logique, les Transducteurs et les Automates]] | Carton Olivier | 2016-10-01 | 2022-06-30 |
| FSMP | Univ | Postdoc Paz | [[https://www.sciencesmaths-paris.fr/fr/laureats-post-docs-180.htm|Ami Paz]] | Fraigniaud Pierre | 2017-10-01 | 2019-09-30 |
| Marie Curie | Univ | RASIR | [[https://cordis.europa.eu/project/rcn/209685_en.html|Rule-algebraic Simple Rewriting - Nicolas Behr]] | Krivine Jean | 2017-10-01 | 2019-09-30 |
| ANR | Univ | DESCARTES | [[http://dept-info.labri.fr/~gavoille/descartes/|Abstraction Layers for Distributed Computing]] | Fauconnier Hugues | 2017-10-01 | 2021-11-30 |
| ANR | Univ | DISTANCIA | [[https://distancia.lis-lab.fr|Metric graph theory]] | Charbit Pierre | 2017-10-01 | 2023-07-31 |
| ANR | Univ | QUBIC | [[http://www.agence-nationale-recherche.fr/Project-ANR-17-CE39-0005|Quantum Banknotes and Information-Theoretic Credit Cards]] | Kerenidis Iordanis | 2017-10-01 | 2022-03-31 |
| FSMP | Univ | Postdoc Zetzsche | [[https://www.sciencesmaths-paris.fr/fr/laureats-post-docs-180.htm|Georg Zetzsche]] | Serre Olivier | 2017-11-01 | 2018-10-31 |
| School | CNRS | EPIT 2018 | [[http://projects.lsv.fr/epit18/|Software Verification Spring School]] | Enea Constantin | 2018-05-07 | 2018-05-11 |
| ANR | Univ | DYNA3S | [[https://www.irif.fr/~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 | [[https://www.irif.fr/~codys/|Orbites des systèmes dynamiques discrets en informatique]] | Berthé Valérie | 2018-11-01 | 2023-12-31 |
| ANR | Univ | RDAM | [[https://www.irif.fr/~magniez/rdam|Algorithmic techniques for Restricted Data Access Models]] | Magniez Frédéric | 2013-01-01 | 2017-12-31 |
| ANR | Univ | CARTAPLUS | [[http://cartaplus.math.cnrs.fr|Combinatoire des cartes et applications]] | Chapuy Guillaume | 2013-01-01 | 2016-01-01 |
| ANR | Univ | CATHRE | [[http://cathre.math.cnrs.fr|Catégories, Homotopie et Réécriture]] | Curien Pierre-Louis | 2014-01-01 | 2017-12-31 |
| ANR | Univ | COQUAS | [[http://lipn.univ-paris13.fr/~pagani/pmwiki/pmwiki.php/Coquas/Coquas|COmputing with QUAntitative Semantics]] | Pagani Michele | 2013-01-01 | 2016-10-31 |
| ANR | Univ | EQINOCS | [[https://www.irif.fr/~eqinocs/index.html|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 | [[http://www.math.univ-paris13.fr/~hoffbeck/focal|Formalisation du Calcul Algébrique]] | Curien Pierre-Louis | 2013-07-01 | 2016-06-30 |
| ANR | Univ | FAN | [[https://www.irif.fr/~fan/|Fractals and numeration]] | Berthé Valérie | 2013-03-01 | 2017-02-28 |
| ANR | Univ | NETOC | [[https://sites.google.com/site/anrnetoc/|New Techniques in Online Computation]] | Rosén Adi | 2011-11-01 | 2015-10-31 |
| ANR | Univ | REVER | [[http://www.agence-nationale-recherche.fr/?Project=ANR-11-INSE-0007|Programming reversible recoverable systems]] | Krivine Jean | 2011-12-01 | 2015-12-01 |
| ANR | Univ | TYPEX | [[http://typex.lri.fr|Typeful certified XML: integrating language, logic, and dataoriented best practices]] | Castagna Giuseppe | 2012-01-06 | 2015-09-05 |
| ANR | Univ | DCORE | [[https://project.inria.fr/dcore/|Causal debuggers for concurrent systems]] | Krivine Jean | 2018-10-01 | 2024-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 | [[http://aleanetwork.net/|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 |
| PEPS | CNRS | EEE | Secure Computation over Encrypted NEtworks | Couteau Geoffroy | 2020-01-01 | 2020-12-31 |
| IUF | Univ | IUF Enea | [[http://www.iufrance.fr/les-membres-de-liuf/membre/1976-constantin-enea.html|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 |
| 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 |
| Emergence | Univ | IDiLL | Implementing Differentiable Programming out of Linear Logic | Pagani Michele | 2021-01-01 | 2022-12-31 |
| GDR | CNRS | GDR AMA | [[http://gdramf.math.cnrs.fr/|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 | [[https://openqkd.eu/|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 |
| EMERGENCE | CNRS | EMORS | Efficient Monitoring of Real-time Systems | Foughali Mohammed | 2023-01-01 | 2023-12-31 |
| FP7 | Univ | QALGO | [[https://www.lu.lv/qalgo/|Quantum Algorithmics]] | Santha Miklos | 2013-05-01 | 2016-04-30 |
| AMI | Univ | Promenades Numériques | Promenades Numériques | Perifel Sylvain | 2023-01-01 | 2023-12-31 |
| PEPS | Univ | DOUTEAU | PEPS Douteau | Douteau Sylvain | 2023-01-01 | 2023-12-31 |