Laboratoire
Preuves, Programmes et Systèmes
CNRS UMR 7126
Participations à des projets de recherche ¶
Projets en cours
Projets européens
Coopérations bilatérales
- Projet Formal Development of Computer Programs and Applications,
2012-2013
Partenaires:
Université de Buenos Aires (resp. Eduardo Bonelli),
Université de Brasilia (resp. Mauricio Ayala),
Université Paris-Diderot (resp. Antonio Bucciarelli)
- 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 Laboratoire Franco-Argentin d'Informatique INFINIS (INformatique Fondamentale, logIque, laNgages, vérIfication et Systèmes)
Partenaires: Université Paris-Diderot, CNRS, Université de Buenos Aires, CONICET – Responsable francais: Delia Kesner – Responsable argentin: Sergio Yovine
- Projet de Recherche conjoint CNRS-GNSF, " Structural and computational properties of logics"
2009-2011
Participants : PPS, Tbilisi State University – Responsable: Michel Parigot
- Projet National Natural Science Foundation of China, “Unranked tree-structured data and
semantically
defined polymorphic type systems”
2011-2013
en collaboration avec le Institute of Software Chinese Academy of Sciences (reponsable: Haiming Chen) – Responsable local: Giuseppe Castagna
- 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 Types, processus et leurs applications en sécurité et systèmes biologiques
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
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), responsable du projet Jean-François Monin
Projets ANR
- Projet REVER
Programming reversible recoverable systems
2012-2017
Partenaires : CEA (LIST/MeASI team), the (CNRS-Paris 7) PPS laboratory, and Inria (Focus and Sardes teams).
Coordinateur : Inria
- Projet RÉCRÉ
Réalisabilité pour la logique classique, la concurrence, les références et la réécriture.
Partenariat PPS, LAMA (Chambéry), LIP (ENS Lyon - Plume), IML (université de la Méditerranée)
Responsable local : Hugo Herbelin, Coordinateur national : Alexandre Miquel.
- Projet Typex
Intégration des approches langage, logique et orientée données pour un traitement XML certifié, dirigé par les types.
2012-2015 (36 mois)
Partenariat PPS, LRI, INRIA Rhône-Alpes –
Coordinateur : Giuseppe Castagna
ANR Programme Blanc.
- Projet Paral-ITP
Parallelization of interactive theorem provers.
2012-2014 (36 mois)
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
Autres appels à 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
Projets de la région IdF
- Projet MOtifs DYnamiques (Mody) – Responsable Local: Delia Kesner - Responsable LIX (Ecole Polytechnique): Germain Faure - 2010-2011
Groupes de travail nationaux
Projets passés
Projets européens
Coopérations bilatérales
Projets nationaux
- 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)
Projets de la région IdF