Archives du s�minaire PPS — Ann�e 2006–2007

Jeudi 14 juin — David Baelde (LIX): Least and greatest fixed points in linear logic
Jeudi 31 mai — Vladimiro Sassone (University of Southampton): A Bayesian model for event-based trust
Jeudi 24 mai — Olivier Serre (LIAFA): Automates � pile de pile effondrant et sch�mas r�cursifs d'ordre sup�rieur
Jeudi 26 avril — Manuel Serrano (INRIA): HOP: An Environment for Developing Web2.0 Applications
Jeudi 29 mars — Lionel Vaux (IML): Un lambda-bar-mu calcul avec produit de convolution sur les piles
Jeudi 15 mars — Colin Riba (LORIA): Strong Normalization and Union Types
Jeudi 8 mars — James Lipton (Wesleyan University and Technical University of Madrid): Relational computing
Vendredi 9 mars — Antonino Salibra (Universit� de Venise): Recent results on lambda calculus
Jeudi 1er mars — Nic Volanschi: Une nouvelle approche au pattern matching d'arbres, dans mygcc et au-del�
Jeudi 22 f�vrier — Assia Mahboubi (Centre commun INRIA-Microsoft Research): Certification d'une proc�dure de d�cision pour l'arithm�tique r�elle
Jeudi 15 f�vrier — Germain Faure (LORIA): A Categorical Semantics for The Parallel Lambda-Calculus
Jeudi 8 f�vrier — Franceso Zappa Nardelli (INRIA): Ott: Tool support for the working semanticist
Jeudi 1er f�vrier — Peter Van Roy (Universit� catholique de Louvain): Self Management and the Future of Software Design
Jeudi 25 janvier � 10h — Aquinas Hobor (Princeton University) — salle 3E91: Sequential Reasoning for Concurrent Languages
Jeudi 25 janvier � 11h — Thomas Streicher (Technische Universit�t Darmstadt): A universal model for an infinitary lambda-calculus in observably sequential algorithms
Jeudi 18 janvier — Yves Lafont (IML) — salle 1C01: Le probl�me du mot pour les nuls
Jeudi 21 d�cembre — Fran�ois-R�gis Sinot (Universidade do Porto): More laziness !
Jeudi 14 d�cembre — Sandrine Blazy (ENSIIE/INRIA): Une logique de s�paration pour Cminor
Vendredi 15 d�cembre � 11h — Olivier Danvy (BRICS) — salle 1C01: A correspondence between reduction-based and reduction-free normalization functions
Jeudi 7 d�cembre — Michele Pagani (Universit� de Rome): Acyclicity and Coherence in Multiplicative Exponential Linear Logic
Jeudi 30 novembre — Fran�ois Lamarche (LORIA): S�mantique d�notationnelle de la logique propositionnelle classique
Vendredi 1er d�cembre � 11h — Matthew Hennessy (University of Sussex) — salle 4C17: Quelques remarques sur les tests des processus probabilistes
Jeudi 16 novembre — John Longley (University of Edinburgh): On the ubiquity of certain total type structures
Vendredi 27 octobre — Jiri Adamek (Technical University of Braunschweig): Elgot algebras and Elgot monads
Jeudi 19 octobre — Glynn Winskel (Cambridge University): Event structures with symmetry
Vendredi 1er septembre — Renzo Davoli (Universita di Bologna): Virtual Square