Archives du s�minaire PPS — Ann�e 2002–2003

Jeudi 10 juillet � 11h — Val Tannen (University of Pennsylvania): A Rewriting Technique for Query Languages
Jeudi 3 juillet � 11h — David Chemouil (IRIT): � propos de quelques isomorphismes de types inductifs simples
Jeudi 3 juillet � 14h — John Longley (University of Edinburgh): Logics for reasoning about SML programs
Jeudi 19 juin — Antonino Salibra (Universit� Ca' Foscari di Venezia): Graph models of lambda-calculus
Mardi 3 juin � 11h — Samson Abramsky (Oxford University) — salle 6C1: A Game Semantics for Generic Polymorphism
Jeudi 5 juin — Klaus Grue (Universit� de Copenhague): A web-based proof system for publishing results in formal logic
Jeudi 22 mai — Andrew Pitts (Universit� de Cambridge): Nominal Unification
Mardi 13 mai � 11h — Philip Wadler (Avaya Labs): Call-by-value is dual to call-by-name
Jeudi 15 mai — Philip Wadler (Avaya Labs): The Girard-Reynolds isomorphism
Mercredi 23 avril — Fr�d�ric Blanqui (LIX): Types inductifs dans le Calcul des Constructions Alg�briques
Jeudi 17 avril — Thierry Joly (IUT de Villetaneuse): Lambda-d�finissabilit� dans les mod�les pleins finis
Jeudi 10 avril � 14h — Hayo Thielecke (University of Birmingham) — salle 6C1: From Control Effects to Typed Continuation Passing
Jeudi 10 avril — Micaela Mayero (PPS): Quand les preuves formelles rencontrent le calcul formel (en collaboration avec David Delahaye - CNAM)
Mardi 8 avril � 11h — Hayo Thielecke (University of Birmingham) — salle 6C1: Comparing Control Constructs by Typing Double-barrelled CPS Transforms
Jeudi 3 avril � 14h00 — Vaughan Pratt (Stanford University): Transition and Cancellation in Concurrency and Branching
Jeudi 3 avril — Tayssir Touili (LIAFA): Symbolic Verification of Multithreaded Programs with Recursive Procedure Calls
Jeudi 20 mars — Haruo Hosoya (Universit� de Kyoto): On Attribute-element Constraints
Jeudi 13 mars — Roberto Di Cosmo: Sous-typage de types r�cursifs modulo associativit� et commutativit� (en collaboration avec Fran�ois Pottier et Didier R�my)
Jeudi 20 f�vrier — Michel Schellekens (Universit� de Cork) — salle 0D1: Domains are quantifiable
Jeudi 13 f�vrier — Luigi Santocanale (LaBRI) — salle 0D1: Un th�or�me d'interpolation dans les th�orie des preuves circulaires
Jeudi 6 f�vrier — Sylvain Conchon (Oregon Graduate Institute) — salle 0D1: Conception et implantation d'un syst�me de coop�ration de proc�dures de d�cision
Jeudi 30 janvier — Susanna Pelagatti (Universit� di Pisa): Parallel skeletons, costs and transformations
Jeudi 23 janvier — Vincent Simonet (INRIA Rocquencourt): Inf�rence de flots d'information pour ML
Jeudi 16 janvier — Rapha�l Montelatici: R�seaux de preuves � cycles et s�mantique de point fixe
Jeudi 9 janvier — C�dric Lhoussaine (University of Sussex): Un syst�me de types d�pendants pour les ambients mobiles
Jeudi 12 d�cembre — Nick Benton (Microsoft Research): Traced premonoidal categories (joint work with Martin Hyland)
Jeudi 5 d�cembre � 11h30 — Neil Jones (DIKU): The Size-Change Principle for Program Termination
Jeudi 28 novembre — Fran�ois Maurel: Logiques l�g�res, non d�terminisme et complexit� NP
Jeudi 21 novembre — Marcin Jurdzinski (LIAFA): Algorithms for solving parity games
Jeudi 14 novembre — Luis Caires (Universidade Nova de Lisboa): A Spatial Logic for Concurrency (joint work with Luca Cardelli)
Jeudi 31 octobre — Christophe Fouquer� (LIPN, Universit� Paris 13): Extension en th�orie des graphes de la ludique. Application � la mod�lisation de la concurrence stricte
Lundi 21 octobre � 11h — Patrick Lincoln (SRI) — salle 0D7: Symbolic Systems Biology
Lundi 14 octobre � 11h — Jamie Gabbay (Univ. of Cambridge) — salle 1C18: Fraenkel-Mostowski (FM) techniques for syntax with binding
Lundi 30 septembre — Vladimiro Sassone (Univ. of Sussex) — salle 0D7: Controlling Communication Interference in Mobile Boxed Ambients