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

Jeudi 8 juillet — Juliusz Chroboczek (PPS): Impl�mentation de processus l�gers par transformation de programmes
Jeudi 24 juin — Dale Miller (INRIA Futurs): A Proof Search Specification of the π-Calculus (joint work with Alwen Tiu)
Jeudi 17 juin — Patrick Baillot (LIPN): Des types light pour la r�duction en temps polynomial en lambda-calcul (travail en collaboration avec Kazushige Terui)
Jeudi 10 juin — Michel Schellekens (CEOL, University of Cork): Compositional Average Time Analysis: Towards a Calculus for Software Timing
Jeudi 3 juin — Lutz Strassburger (LORIA): On proof nets for classical logic (joint work with Fran�ois Lamarche)
Jeudi 3 juin � 14h00 — Alessio Guglielmi (TU Dresden) — salle 6C1: Deep inference and self-dual non-commutativity
Vendredi 4 juin � 11h00 — Maximiliano Cristi� (Universidad Nacional de Rosario - Argentina) — salle 0D1: GIDISS Trusted Linux: a MLS Linux prototype
Mardi 18 mai � 10h00 — Bob Coecke (Oxford University) — salle 6C1: Quantum, concretely, abstractly
Mardi 18 mai � 14h00 — Bob Coecke (Oxford University) — salle 0D4: Quantum, concretely, abstractly (suite de l'expos� pr�c�dent)
Jeudi 13 mai — Antonino Salibra (Universit� Ca'Foscari di Venezia): Lambda theories via graph models
Jeudi 13 mai � 14h00 — Rocco De Nicola (Universit� di Firenze) — salle 6C1: Open nets, contexts and their properties
Jeudi 6 mai � 14h00 — Julien Forest (PPS) — salle 6C1: R��criture d'ordre sup�rieur avec motifs
Jeudi 29 avril — Sylvain Lippi (IML): Une implantation d'une machine de Krivine
Jeudi 22 avril — Daniele Varacca (ENS): Structures d'�v�nements probabilistes et th�orie des domaines
Jeudi 8 avril — Jean-Yves Moyen (LORIA, �quipe Calligramme): Analyse de la complexit� implicite
Jeudi 1er avril — Xavier Urbain (LRI): Preuves incr�mentales et v�rification de programmes
Jeudi 25 mars — Micaela Mayero (CEA-Saclay): �limination des quantificateurs dans les corps alg�briquement clos dans un outil d'aide � la preuve en utilisant un syst�me de calcul formel (travail commun avec David Delahaye)
Jeudi 18 mars — J�r�me Feret (ENS): Analyse statique de filtres num�riques
Jeudi 11 mars — Jakob Grue-Simonsen (University of Copenhagen): Infinitary Term Rewriting
Jeudi 4 mars — Pawel Sobocinski (BRICS): Coinductive Reasoning for Contextual Graph Rewriting
Jeudi 19 f�vrier — Emmanuel Beffara: R�seaux concurrents — une �tude du pr�fixage dans les calculs de processus
Jeudi 12 f�vrier — Lutz Strassburger (LORIA): The Calculus of Structure
Jeudi 12 f�vrier � 14h00 — Frank D. Valencia (Uppsala University) — salle 6C1: Concurrency, Time, and Constraints
Jeudi 11 d�cembre — Matthew Hennessy (University of Sussex): SafeDpi: a language for controlling mobile code
Jeudi 4 d�cembre — Francesco Zappa Nardelli (ENS): M�thodes de preuve bas�s sur la bisimulation pour les Ambients Mobiles (travail commun avec M. Massimo Merro)
Jeudi 20 novembre — Jamie Gabbay (INRIA et LIX): FreshML for You
Mercredi 12 novembre � 14h30 — Henk Barendregt (Nijmegen University) — salle 6C1: Intersection types for lambda terms
Jeudi 13 novembre � 14h30 — Martin Hyland (Universit� de Cambridge) — salle 6C1: Abstract Interpretations of Classical Proof
Jeudi 30 octobre — Emmanuel Polonovski (PPS): Normalisation forte du lambda-bar-mu-mu-tilde calcul avec substitutions explicites
Jeudi 23 octobre — Patrick Baillot (LIPN): Inf�rence de type pour la complexit� polynomiale et contraintes sur les mots
Jeudi 16 octobre — Olivier Danvy (BRICS): Une correspondence entre �valuateurs et machines abstraites