Actualités précédentes

• 06/2015 - Rencontre du projet ANR Rapido.
• 09/2014 - La journée de rentrée du laboratoire PPS a lieu le lundi 22 septembre dans l'amphithéâtre Alan Turing.
• 09/2014 - Le congrès Domains XI se tient du 8 au 10 septembre dans l'amphithéâtre Alan Turing.
• 07/2014 - Le Journal du CNRS n°277 (p.47) consacre un article au logiciel js_of_ocaml développé par Vincent Balat et Jérôme Vouillon.
• 07/2014 - Flavien Breuvart reçoit le prix Kleene lors du congrès Logic in Computer Science (LICS) 2014 pour son article On the characterization of models of H*.
• 05/2014 - Le trimestre thématique Semantics of proofs and certified mathematics de l'Institut Henri Poincaré est organisé du 22 avril au 11 juillet par Pierre-Louis Curien, Hugo Herbelin et Paul-André Melliès.
• 04/2014 - Le logiciel Coq reçoit le prix Software System 2013, décerné par l'Association for Computing Machinery (ACM).
• 04/2014 - Zhiwu Xu reçoit le prix 2013 de la meilleure thèse, décerné par l'European Association for Programming Languages and Systems (EAPLS), pour son travail Parametric polymorphism for XML processing languages préparé à PPS sous la direction de Giuseppe Castagna.
• 02/2014 - Le prix EMS Monograph 2014 est décerné par la European Mathematical Society (EMS) au livre Foundations of Garside Theory écrit par Patrick Dehornoy, avec François Digne, Eddy Godelle, Daan Krammer et Jean Michel.
• 02/2014 - La première journée scientifique de la Fédération d'Informatique Fondamentale de Paris-Diderot se déroule le vendredi 7 février dans l'amphithéâtre Alan Turing du bâtiment Sophie Germain.
• 11/2013 - Un article de Roberto Di Cosmo paraît dans le N°433 de Pour la Science, consacré au Big Bang numérique. Lire le résumé ici.
• 09/2013 - Une rencontre scientifique est organisée du 9 au 11 septembre à Venise, à l'occasion des 60 ans de Pierre-Louis Curien.
• 06/2013 - Le logiciel Coq reçoit le prix Programming Languages Software 2013 décerné par l'ACM SIGPLAN et remis lors du congrès POPL 2014.
• 06/2013 - L'article A homotopical completion procedure with applications to coherence of monoids de Yves Guiraud, Philippe Malbos et Samuel Mimram reçoit l'un des deux prix Best paper award au congrès RTA 2013.
• 05/2013 - L'article Set-Theoretic Foundation of Parametric Polymorphism and Subtyping par Giuseppe Castagna et Zhiwu Xu reçoit la nomination par ACM SIGPLAN aux CACM Research Highlights (voir: SIGPLAN CACM Research Highlights Nominated Papers).
• 04/2013 - Gabriel Kerneis reçoit le prix de thèse 2013 du GDR GPL, pour son travail intitulé Continuation-Passing C: Program Transformation for Compiling Concurrency in an Imperative Language effectuée au laboratoire PPS sous la direction de Juliusz Chroboczek.
• 04/2013 - Les Journées d'Informatique Fondamentale de Paris Diderot se déroulent du 22 au 26 avril.
• 03/2013 - Le rapport de recherche 2012 est en ligne.
• 01/2013 - PPS déménage. Nouvelle adresse à compter du 1er février 2013 : Bâtiment Sophie Germain, sur le campus Paris-Diderot des Grands Moulins.
• 10/2012 Tribune sur l'enseignement du logiciel libre sur lemonde.fr, par Roberto Di Cosmo (PPS), Patrice Bertrand, et Stéfane Fermigier.
• 07/2012 Le CNRS consacre une rubrique de son journal au travail de Vincent Balat et de son équipe sur le projet Ocsigen.
• 03/2012 Ieke Moerdijk (Université Radboud de Nimègue) vient de recevoir le Prix Descartes-Huygens qui lui permettra de venir travailler au sein du laboratoire PPS sur des thématiques entre logique, topologie et algèbre de dimension supérieure.
• 12/2011 Giuseppe Castagna (PPS) élu membre de l'Academia Europaea. Les 13 membres de la représentation française dans la section informatique sont désormais : Serge Abiteboul, Jacques Arsac, Gérard Berry, Giuseppe Castagna, Patrick Cousot, Jean-Yves Girard, Nicolas Halbwachs, Gérard Huet, Giuseppe Longo, Maurice Nivat, Dominique Perrin, Jean Eric Pin et Joseph Sifakis. Communiqué de presse.
• 11/2011 Inauguration à Buenos Aires du LIA franco-argentin INFINIS
• 09/2011 Jérôme Vouillon et Roberto Di Cosmo ont remporté le Microsoft Research Distinguished Artifact Award pour l'application Coinst.
• 05/2011 Stefano Zacchiroli élu chef du projet Debian pour la 2e année consécutive. Stefano est maître de conférences à PPS.
• 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)