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 International Research Projects PLANNING PLANarity and distaNces IN Graph theory Partenaires français : École Normale Supérieure, Université Clermont Auvergne, LIMOS, École des hautes études en sciences sociales-CNRS, Université Paris-Nord Partenaires internationaux : Universidade Federal do ABC, Universidade de São Paulo, Universidade Federal do Rio de Janeiro, Universidade Estadual de Campinas, Universidad de Valparaíso, Universidad Andrés Bello, Universidad de Chile, Universidad de Ingeniería y Tecnología, Universidad de Ingeniería y Tecnología. Responsable : Reza Naserasr SINFIN Systèmes, vérIfication, iNformatique Fondamentale, logIque, laNgages Partenaire : Universidad de Buenos Aires Responsable : Delia Kesner TROJKAT Trójkąt Partenaires : LaBRI (Bordeaux), Université de Varsovie Responsable : Thomas Colcombet 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 International Emerging Actions ALFRED Algorithms for Restricted Data Models Partenaires : University of Melbourne (Australia) Responsable : Adrian Vladu ALIMALIO ALiMaLiO : About the Limits of Map-Like Objects Partenaires : University of Oxford Responsable : Marie Albenque IEA INDE Test d'équivalence des grammaires et des circuits : une approche unifiée Partenaires : IIT Delhi Responsable : Mahsa Shirmohammadi 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 VIP Verification, Interaction, and Proofs Partenaire : Software Institute of the Chinese Academy of Sciences (Beijing) Responsable : Pierre-Louis Curien 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