Projets en cours

Coopérations bilatérales

• Projet Laboratoire Franco-Argentin d'Informatique INFINIS (INformatique Fondamentale, logIque, laNgages, vérIfication et Systèmes)
  Partenaires: Univ. Paris-Diderot, CNRS, Univ. Buenos Aires, CONICET.
  Responsable française : Delia Kesner. Responsable argentin : Sergio Yovine.

• Projet Types, processus et leurs applications en sécurité et systèmes biologiques
  Programme de Recherches Avancées Franco-Chinois PRA (Ministère des Affaires Etrangères, Ministère de l'Education Nationale, Ministère de la Recherche, Ministère chinois de la Science et de la Technologie).
  Avec l'Institut d'Informatique et Mathématiques Appliquées de Grenoble, l'Institut du Logiciel de l'Académie des Sciences de Chine et l'Université Jiaotong à Shanghai.
  Responsable local : Pierre-Louis Curien. Responsable du projet : Jean-François Monin.

Projets ANR

• Projet CoLiS (Correctness of Linux Scripts), 2015-2020.
  Partenaires : PPS, INRIA Lille et INRIA Saclay. Coordinateur : Ralf Treinen.

• Projet RAPIDO (Raisonner et Programmer avec des Données Infinies), 2015-2019.
  Coordinateur : Alexis Saurin.

• Projet CATHRE (Catégories, Homotopie et Réécriture), ANR blanc, 2014-2017.
  Partenaires : PPS et ICJ (Lyon 1). Coordinateur : Pierre-Louis Curien. Responsable local : Yves Guiraud.

• Projet Coquas (Computing with Quantitative Semantics), ANR Jeunes Chercheurs, 2013-2016.
  Partenaires : PPS, LIPN (Paris 13) et I2M (Aix-Marseille). Coordinateur : Michele Pagani.

• Projet REVER (Programming reversible recoverable systems), 2012-2017.
  Partenaires : PPS, CEA (LIST/MeASI) et INRIA (Focus et Sardes). Coordinateur : INRIA.

• Projet RÉCRÉ (Réalisabilité pour la logique classique, la concurrence, les références et la réécriture).
  Partenaires : PPS, LAMA (Chambéry), LIP (ENS Lyon - Plume), I2M (Aix-Marseille).
  Responsable local : Hugo Herbelin. Coordinateur : Alexandre Miquel.

• Projet Typex (Intégration des approches langage, logique et orientée données pour un traitement XML certifié, dirigé par les types), ANR blanc, 2012-2015.
  Partenaires : PPS, LRI (Paris 11), INRIA Rhône-Alpes. Coordinateur : Giuseppe Castagna.

Autres projets

• Projet FOCAL (Formalisation du Calcul Algébrique), IDEX Sorbonne Paris Cité, 2013–2016.
  Partenaires : PPS et LAGA (Paris 13). Coordinateur : Pierre-Louis Curien. Responsable local : Yves Guiraud.

Groupes de travail nationaux

• Groupement de Recherche Informatique Mathématique (GDR IM).
  — Groupe de travail Logique, Algèbre et Calcul. Responsable : Delia Kesner.
  — Groupe de travail Géométrie du calcul. Responsable : Laurent Regnier.
  

• Groupement de Recherche Topologie Algébrique et Applications.
  Responsable local : Yves Guiraud. Direction : Geoffrey Powell.

Projets passés

Projets européens

• Projet Certified Complexity (CerCo)
  2010-2013
  Page locale : CerCo
  Responsable local : Roberto Amadio - Responsable: Claudio Sacerdoti Coen
  Seventh Research Framework Programme (FP7) (Information Society Technologies)

• Projet Managing the Complexity of the Open Source Infrastructure (MANCOOSI) - 2008-2011 - Responsable Roberto Di Cosmo
  Seventh Research Framework Programme (FP7) (Information Society Technologies)

• Projet Foundational Structures in Quantum Information and Computation (QICS) - 2007-2010 - Responsable local Vincent Danos
  Sixth Framework Programme - Specific Targeted Research Project (Information Society Technologies), responsable du projet Bob Coecke

• Projet TYPES - 2004-2007 - Responsable local Michel Parigot
  Coordination Action Information Society Technologies (Union Européenne)
• Projet Computer-Assisted Reasoning Based on Type Theory (TYPES) - 2002-2003 - Responsable local Michel Parigot
  Réseau Thématique programme européen Information Society Technologies (Union Européenne)
• Projet Applied Semantics (APPSEM-II) - 2003-2006 - Responsable local Pierre-Louis Curien
  Réseau Thématique du programme européen Information Society Technologies (Union Européenne), responsable du projet Martin Hofmann

• Projet Environment for the Distribution of Open Source software (EDOS) - 2004-2007 - Responsable local : Roberto Di Cosmo
  Sixth Framework Programme - Priority 2 (Information Society Technologies)
  
  

Coopérations bilatérales

• Projet Formal Development of Computer Programs and Applications, 2012-2013
  Partenaires : Univ. Buenos Aires (resp. Eduardo Bonelli), Univ. Brasilia (resp. Mauricio Ayala), Univ. Paris-Diderot.
  Responsable local : Antonio Bucciarelli.

• Projet National Natural Science Foundation of China, Unranked tree-structured data and semantically defined polymorphic type systems, 2011-2013
  Avec l'Institute of Software Chinese Academy of Sciences (resp. Haiming Chen).
  Responsable local : Giuseppe Castagna.

• Projet Franco-Italien PICS Logique linéaire et applications
  2010-2012
  Partenaires : LIP-Lyon , LIPN-Villetaneuse, PPS-Paris, Bologna, Torino , Roma Tre
  coordinateur Patrick Baillot

• Projet de Recherche conjoint CNRS-GNSF, " Structural and computational properties of logics"
  2009-2011
  Participants : PPS, Tbilisi State University – Responsable: Michel Parigot

• Projet Types for Robust Program Development
  2009-2011
  avec l'Univercidad Nacional de Quilmes, Argentine (resp. Eduardo Bonelli) et la Facultad de Ingeniería, Universidad ORT, Uruguay (resp. Nora Szasz)
  Responsable local Delia Kesner
  Programme STIC-Amsud

• Projet "Outils logiques d'analyse des programmes"
  2009-2010
  PHC Franco-autrichien avec le Computational Logic Group de l'université d'Innsbruck (responsable Georg Moser)
  Computational Logic Group
  Responsable Michel Parigot

• Projet Langages avec Motifs : Syntaxe et Sémantique
  2007-2009
  Responsable Delia Kesner
  Programme de coopération bilatérale avec l'Argentine (CNRS, CONICET)
• Projet Réseau italo-français de recherche en logique et géométrie du calcul - 2006-2008 - Responsable local Antonio Bucciarelli
  Internazionalizzazione del sistema universitario (Ministero dell'Istruzione, dell'Universita e della Ricerca), responsable du projet : Michele Abrusci (Univ. Roma 3)
• Projet Nouveau systèmes de déduction et méthodes de normalisation pour l'inférence profonde - 2006-2007 - Responsable Michel Parigot
  Collaboration bilatérale avec la Grande-Bretagne - Partenariat Hubert Curien (PHC) Alliance (EGIDE)
• Projet Interprétation calculatoire des logiques modales - 2007 - Responsable Michel Parigot
  Programme d'échange ECO-NET avec la Russie et la Géorgie (EGIDE)
• Projet Termination for Concurrent Systems - Responsable Delia Kesner
  Programme de coopération bilatérale avec le Portugal (CNRS, ICCTI)
• Projet Simplicial and Cubical Sets and Knowledge Evolution in Distributed Systems - 2003-2004 - Responsable local Philippe Gaucher
  Programme d'Action Intégrée PAI Alliance (EGIDE) : collaboration avec la Grande-Bretagne, responsable du projet Tim Porter
  

• Projet Réécriture axiomatique - 2002-2005 - Responsable Delia Kesner
  Programme de coopération bilatérale avec l'Argentine (CNRS, CONICET)
• Projet Interaction et Complexité - 2004-2005 - Responsable local Olivier Laurent
  Programme de coopération bilatérale avec l'Italie (CNRS, CNR), responsable du projet Patrick Baillot
• Collaboration bilatérale avec l'Autriche - Responsable Michel Parigot
  Programme d'Action Intégrée PAI Amadeus (EGIDE)
• Projet Interaction et Complexité 2 - 2006-2007 - Responsable Olivier Laurent
  Programme de coopération bilatérale avec l'Italie (CNRS, CNR)

Projets nationaux

• Projet Paral-ITP (Parallelization of interactive theorem provers), 2012-2014.
  INRIA Rocquencourt/PPS, INRIA Saclay, Univ. Paris-Sud/LRI. Coordinateur local : Hugo Herbelin.

• projet LOGOI Logique et géometrie de l'interaction
  2010-1014
  Coordinatrice : Claudia Faggian
  ANR Programme blanc

• Projet CERCLES-2
  2011-2014
  Partenaires: PPS, LIP6, Clearsy, Sagem
  Labélisation Systematic

• Projet Aeolus
  2011-2014
  Partenaires: Université Paris Diderot, Inria, Université de Nice, Mandriva – Coordinateur : Roberto Di Cosmo
  

• Projet Programmation du Web Diffus
  2010-2013 (48 mois)
  Partenaire : PPS, LIP6, Inria Sophia Antipolis – Responsable local : Vincent Balat
  ANR Programme Domaines Émergents

• projet ANR-FWF Structural and computational proof theory (STRUCTURAL)
  2010 - 2013
  Partenaires : PPS, LIX, Vienne, Innsbruck – Responsable: Michel Parigot
• Projet "Parallel and Distributed Analysis" (PANDA), projet ANR blanc - Responsable du projet : Mme Catuscia Palamidessi (LiX, Ecole polytechnique),
  début du projet septembre 2009.
  Responsables locaux à PPS : Samy Abbes et Paul-André Melliès.
• Projet Efficiency, Dynamicity and Composition for XML Models, Algorithms, and Systems (Codex) - 2008-2010 - responsable local : Giuseppe Castagna
  Programme Domaines Émergents (Agence Nationale de la Recherche)
• Projet Curry-Howard pour la concurrence (CHOCO) - 2008-2010 - Responsable Thomas Ehrhard
  Programme blanc (Agence Nationale de la Recherche)
• Projet Parallélisme et Sécurité (ParSec) - 2006-2010 - Responsable local Roberto Amadio
  Programme Sécurité et Informatique (Agence Nationale de la Recherche), responsable du projet Gérard Boudol
• Projet Programmation fonctionnelle pour le web - 2006-2010 - Responsable Jérôme Vouillon
  Programme jeunes chercheuses et jeunes chercheurs (Agence Nationale de la Recherche)
• Projet Theory and Application of Deep Inference (INFER) - 2007-2009 - Responsable local Michel Parigot
  Programme blanc (Agence Nationale de la Recherche), responsable du projet Lutz Straßburger
• Projet Nouveaux Outils pour la Complexité : Sémantique et Types (NO-COST) - 2005-2008 - Responsable local Olivier Laurent
  Programme jeunes chercheuses et jeunes chercheurs (Agence Nationale de la Recherche), responsable du projet Patrick Baillot
• Projet Certification formelle de compilateurs optimisants pour logiciel embarqué critique (COMPCERT) - 2005-2008 - Responsable local Pierre Letouzey
  Programme Sécurité, Systèmes Embarqués et Intelligence Ambiante (Agence Nationale de la Recherche), responsable du projet Xavier Leroy
• Projet Invariants algébriques des systèmes informatiques (INVAL) - 2005-2008 - Responsable local Philippe Gaucher
  Programme blanc (Agence Nationale de la Recherche), responsable du projet Éric Goubault
• Projet Transformation Languages for XML: Logics and Applications (TraLaLA) - 2004-2007 - Responsable Giuseppe Castagna
  Action Concertée Incitative ACI-MD (Ministère de la Recherche)
• Projet Environnement de Développement Interactif pour la Conception d'Agents (EDICA) - 2001-2003 - Responsable Emmanuel Chailloux
  Réseau National des Technologies Logicielles RNTL (Ministère de l'Industrie, Ministère de la Recherche)
• Outils mathématiques pour l'Informatique - Responsable Pierre-Louis Curien
  Réseau Thématique Pluridisciplinaire (RTP) 23 (Département STIC du CNRS)
  en particulier l'Action Spécifique Méthodes formelles pour la mobilité - 2002-2003 - Responsable local Vincent Danos
• Projet Fondements logiques de l'Informatique - Responsable Pierre-Louis Curien
  (avec l'Institut du Logiciel de l'Académie des Sciences de Chine, l'Université Jiaotong à Shanghai, et l'Université de Nanjing)
  Programme de Recherches Avancées Franco-Chinois PRA (Ministère des Affaires Etrangères, Ministère de l'Education Nationale, Ministère de la Recherche, Ministère chinois de la Science et de la Technologie)
• Projet Calculs de Processus et Biologie des Réseaux Moléculaires (CPBIO) - 2002-2004 - Responsable Vincent Danos
  Actions de Recherche Coopérative ARC (INRIA)
• Projet Isomorphisme de types (ISOT) - 2002-2003 - Responsable Roberto Di Cosmo
  (avec l'Institut de Recherche en Informatique de Toulouse et l'École Normale Supérieure de Paris)
  Programme MathSTIC (Départements SPM et STIC du CNRS)
  

• Projet Logique et Sémantique des Langages de Programmation - 2002-2003 - Responsable Antonio Bucciarelli
  (avec l'Institut de Mathématiques de Luminy)
  Programme MathSTIC (Départements SPM et STIC du CNRS)
• Projet CoordinAtion et Répartition des Applications Multiprocesseurs (Caraml) - 2002-2005 - Responsable Roberto Di Cosmo
  Action Concertée Incitative ACI-GRID (Ministère de la Recherche)

• Projet Géométrie du Calcul (GéoCal) - 2003-2006 - Responsable local Antonio Bucciarelli
  Action Concertée Incitative ACI-NIM (Ministère de la Recherche), responsable du projet Thomas Ehrhard
• Projet Contrôle de Ressources et d'Interférence dans les Systèmes Synchrones (CRISS) - 2003-2006 - Responsable Roberto Amadio
  Action Concertée Incitative ACI-SI (Ministère de la Recherche)
• Projet Vérification de protocoles cryptographiques (Rossignol) - 2003-2006 - Responsable local Roberto Amadio
  Action Concertée Incitative ACI-SI (Ministère de la Recherche), responsable du projet Denis Lugiez

Autres projets

• Projet SEMACODE Stratégie d'Evaluation, Machines Abstraites et COntrôle DElimité.
  2011-2013 (36 mois)
  Partenaires : INRIA Paris-Rocquencourt/PPS, INRIA Sophia Antipolis-Méditerranée, Université de Bologne, Université d'Oregon, Université de Novi Sad
  Responsable : Alexis Saurin
  Type de projet: Équipe Associée INRIA

• Projet Eternal Interactive Resource Analysis
  2011-2012 (12 mois)
  Partenaires : INRIA Paris-Rocquencourt/PPS, INRIA Saclay - Île de France, INRIA Sophia Antipolis - Méditerranée – Responsable local : Yann Régis-Gianas
  ARC INRIA

• Projet DORM
  2011-2012
  Participants: PPS, Inria, Nuxeo, Zenika – Responsable : Roberto Di Cosmo
  projet collaboratif FEDER

• Projet MOtifs DYnamiques (Mody), Projet de la Région Île-de-France
  Responsable Local: Delia Kesner - Responsable LIX (Ecole Polytechnique): Germain Faure - 2010-2011

• Projet COLLODI - octobre 2009 - octobre 2010 - Responsable local Thomas Ehrhrard et Damiano Mazza (LIPN)
  Financé par la région Ile de France via le consortium Digiteo.