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

Jeudi 9 juin — Fr�d�ric Boussinot (INRIA Sophia): FairThreads et programmation r�active s�re
Jeudi 2 juin — Barry Jay (University of Technology, Sydney): Typed Pattern Calculus
Mardi 24 mai � 10h00 — Roy Dyckhoff (University of St Andrews) — salle 5C03: Decision methods for linearly ordered Heyting algebras
Mardi 17 mai � 10h00 — Ian Stark (University of Edinburgh) — salle 5C03: Reducibility and TT-lifting for computation types
Jeudi 19 mai — Pawel Sobocinski (BRICS): Quasiadhesive Categories
Jeudi 12 mai — Giuseppe Castagna (ENS): A Gentle Introduction to Semantic Subtyping
Jeudi 21 avril — Pierre Letouzey (Ludwig-Maximilians-Universit�t M�nchen): Un nouveau m�canisme d'extraction pour l'assistant Coq
Jeudi 14 avril — Elham Kashefi (Oxford University): The measurement calculus
Jeudi 7 avril — Michel Schellekens (CEOL, Universit� de Cork): Towards a Calculus for Modular Software Timing; ACETT a programming language with Linearly-Compositional Average-Case Time Complexity
Jeudi 31 mars — Pablo Arrighi (IMAG, Grenoble) — salle 0D4: Linear-algebraic lambda calculus
Jeudi 24 mars — Juliusz Chroboczek — salle 0D4: Passage de continuations pour le ��C��
Mardi 15 mars — Steffen van Bakel (Imperial College London) — salle 5C03: Term rewriting, continuations and classical types
Mardi 8 mars — Christian Urban (Ludwig-Maximilians-Universit�t M�nchen) — salle 5C3: Nominal Reasoning in a Theorem Prover
Jeudi 10 mars — Patrick Dehornoy (Universit� de Caen) — salle 8B1: Le mono�de de g�ometrie d'une loi alg�brique
Jeudi 3 mars — Jean-Baptiste Joinet (PPS, Universit� Paris 1) — salle 0D4: R�seaux multiplicatifs et distributivit� faible
Jeudi 24 f�vrier — Eduardo Bonelli (LIFIA, Facultad de Informatica, UNLP, Argentina) — salle 0D4: Correspondence Assertions for Process Synchronization in Concurrent Communications
Jeudi 17 f�vrier — Pierre Hyvernat (IML) — salle 8B1: Deux mod�les isomorphes (!!!) de la logique lin�aire�: sp�cifications et jeux synchrones
Jeudi 16 d�cembre — Elena Zucca (Universit� di Genova) — salle 1C6: Polymorphic Bytecode: Compositional Compilation for Java-like languages
Jeudi 9 d�cembre — Claudia Faggian (Universit� degli Studi di Padova) — salle 1C6: Playing with graphs: Ludics and nets
Jeudi 2 d�cembre — Barry Jay (University of Technology, Sydney) — salle 1C6: The pattern calculus
Jeudi 25 novembre — Marc Zeitoun (LIAFA) — salle 1C6: Jeux concurrents � m�moire causale
Jeudi 14 octobre — Olin Shivers (Georgia Institute of Technology) — salle 1C6: Bottom-up beta reduction: uplinks and lambda-DAGs
Mardi 12 octobre � 10h00 — Haruo Hosoya (University of Tokyo) — salle 4C17: Parametric polymorphism for XML
Jeudi 7 octobre — Valeri Plisko (Moscow State University) — salle 0C5: Predicate logics of constructive theories