Frameworks for international cooperation International Research Laboratories FILOFOCS French-Israeli Laboratory on Foundations of Computer Science Partenaires: Tel-Aviv University, the Hebrew University of Jerusalem, the Weizmann Institute of Science Co-Directeur: Adi Rosén JFLI Japanese-French Laboratory for Informatics Partenaires : University of Tokyo, National Institute of Informatics, Keio University Coordinateur pour l’axe Quantum Computing : Iordanis Kerenidis MAJULAB International Joint Research Unit Partenaires : National University of Singapore, Nanyang Technological University Coordinateur pour l’axe Quantum Computer Science : Miklos Santha International Research Projects SINFIN Systèmes, vérIfication, iNformatique Fondamentale, logIque, laNgages Partenaire : Universidad de Buenos Aires Responsable : Delia Kesner STRUCO Structures in Combinatorics Partenaire : Charles University (Prague) Responsable : Pierre Charbit International Research Networks ALEA NETWORK Alea Network Partenaires français : Université Paris Diderot, Sorbonne Universite, Université Paris 13, Universite Versailles St-Quentin en Yvelines, Université de Bordeaux Partenaires européens : Technische Universität Wien, The University Of Oxford, Ludwig-Maximilians-Universität, Lmu München Responsable : Vlady Ravelomanana LL Linear Logic Partenaires français : Université Paris Diderot, Aix-Marseille Université, Ecole Centrale de Marseille, Ecole Normale Supérieure de Lyon Partenaires italiens : Università degli Studi Roma Tre, Università di Bologna, Università degli Studi di Torino Responsable : Thomas Ehrhard International Emerging Actions VIP Verification, Interaction, and Proofs Partenaire : Software Institute of the Chinese Academy of Sciences (Beijing) Responsable : Pierre-Louis Curien European grants QUANTALGO Quantum Algorithms and Applications QUANTERA program Partenaires européens : Université libre de Bruxelles, University of Bristol, Centrum Wiskunde & Informatica (Amsterdam), University of Latvia, Université Paris Diderot, University of Copenhagen, Atos (Bull SAS) Responsable : Miklos Santha Past coopererations International Emerging Actions ACCA Constraint Analysis through Analytic Combinatorics Partenaire : Technische Universität Wien Responsable : Vlady Ravelomanana QIP Quantum Information Processing Partenaire : University of Waterloo (Ontario) Responsable : Frédéric Magniez International bilateral cooperations Hubert Curien Pavle Savić (2016-17) Computational Logics and Higher Algebra Partenaire : Univ of Novi Sad, Serbia Responsable : Hugo Herbelin Parrot (2017-18) Mathematical structures for dualities in programming languages Partenaire : Univ. of Tallinn, Estonia Responsable : Hugo Herbelin