Preuves, Programmes et Systèmes

Quelques événements anciens

• 10/2010 Appel à candidature - Poste de maître de conférences.
  Plus de détails...
• 
• 16/04/2010 Stefano Zacchiroli élu chef du projet Debian. Stefano est membre du projet Mancoosi à PPS.
• PPS sur France Culture Roberto Di Cosmo était invité de l'émission Science publique le vendredi 29 janvier 2010. Écoutez l'émission ici
• 01/2010
  Nicolas Tabareau a obtenu le 2e prix Gilles Kahn 2009, décerné par Specif, pour sa thèse intitulée Modalités de ressource et contrôle en logique tensorielle.
• 01/2010
  Alexis Saurin a obtenu le prix de thèse de l'Association Française des Sciences et Technologies de l'Information et de la Communication (ASTI) pour sa thèse Une étude logique du contrôle (appliquée à la programmation fonctionnelle et logique), soutenue le 30/09/08.
  
• 11/2009
  Nicolas Tabareau a obtenu le prix Rosemont/Demassieux de la chancellerie des universités de Paris (mathématiques fondamentales et appliquées) pour sa thèse Modalité de ressource et contrôle en logique tensorielle, soutenue le 3/12/08.
  
• 10/2009 Appel à candidature - Poste de maître de conférences.
  Profil: Théorie de la programmation: logique, calcul, algèbre
  Plus de détails...
• Nouveau : les logiciels développés à PPS
• 07/2009 Appel à candidature - Allocation de thèse.
  Sujet : Applications aux systèmes distribués et concurrents des théorèmes limite en probabilité (projet ANR Panda)
  Plus de détails...
• 03/06 et 04/06/09 THÉORIE DES MODÈLES ET LAMBDA-CALCUL Un colloque en l'honneur de Chantal Berline organisé les 3 et 4 juin 2009 à Paris. Lire la suite...
• 27/10/2008 - Prix 2008 de la meilleure thèse de la fondation EADS attribué à Giulio Manzonetto pour ses travaux intitulés Models and theories of Lambda calculus (catégorie « Sciences et technologies de l'information et de la communication »)
• Workshop Structural Proof Theory, en salle 1C06 à Chevaleret 19, 20 et 21 novembre 2008
• Journée Connecteurs additifs en logique linéaire, le lundi 17 mars 2008 en salle 0D4 à Chevaleret.
• Cours de l'école doctorale de Jean-Yves Girard intitulé Géométrie de l'interaction, les 10, 12, 13 et 14 mars 2008 de 10h00 à 13h00
• Fête de la Science 2007 (informatique) du 8 au 14 octobre 2007
• 34ème École de printemps (mai 2006)
• 30ème École de printemps (mars 2002)
• The APPLIED SEMANTICS Summer School (septembre 2000)
• The LINEAR International Summer School (septembre 2000)
• CONFER workshop (novembre 1999)
• Colloque inaugural de PPS (octobre 1999)