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

Jeudi 13 juillet — Nicolas Oury (LRI): Couverture de filtrage par approximations d'ensembles de termes
Jeudi 29 juin — Fran�ois-R�gis Sinot (LIX): Strat�gies du lambda-calcul dans les r�seaux d'interaction
Jeudi 22 juin — Brian Redmond (University of Ottawa): Multiplexor Categories and Models of Soft Linear Logic
Jeudi 1er juin — Ralph Matthes (IRIT - Universit� Paul Sabatier): Program verification for nested datatypes in intensional type theory
Jeudi 11 mai — Antonino Salibra (Universit� Ca'Foscari di Venezia): Boolean algebras for lambda calculus
Vendredi 12 mai � 10h00 — Samy Abbes (LIAFA) — salle 0D04: Probabilit�s distribu�es : un mod�le probabiliste ��true-concurrent��
Jeudi 4 mai — Olivier Hermant (LIX): Preuves semantiques constructives d'elimination des coupures en Deduction Modulo
Jeudi 27 avril — Andrew Appel: Toward Separation Logic Correctness Proofs of Concurrent C Programs
Jeudi 20 avril — Andrea Schalk (University of Manchester): Games Played on Graphs
Jeudi 30 mars — Yann R�gis-Gianas et Fran�ois Pottier (INRIA): Menhir, un g�n�rateur s�r et moderne de parseur LR(1) pour Objective Caml
Jeudi 23 mars — Damiano Mazza (IML): Une �tude s�mantique des combinateurs d'interaction
Jeudi 16 mars — Thierry Cachat (LIAFA): Jeux de parit� sur les graphes d'automates � pile de pile
Jeudi 2 mars — Christophe Raffalli (Universit� de Savoie): Typer sans type (programmes comme types)
Jeudi 23 f�vrier — Marco Danelutto (Universit� di Pisa): Advances in structured parallel programming
Jeudi 19 janvier — Iris Loeb (Radboud Universiteit Nijmegen): Natural Deduction via Graphs
Jeudi 5 janvier — Bruno Blanchet (LIENS): Automated Verification of Selected Equivalences for Security Protocols
Mardi 6 d�cembre � 10h00 — Kohei Honda (Queen Mary, London) — salle 6C01: An Observationally Complete Program Logic for Higher-Order Functions
Mercredi 7 d�cembre � 11h00 — Marcelo Fiore (Cambridge University) — salle � pr�ciser: Free groupoids: Some theory and applications
Jeudi 1er d�cembre — Nicola Gambino (Universit� du Qu�bec � Montr�al): Generalised species of structures
Jeudi 24 novembre — Emmanuel Beffara: Mod�les concurrents de la logique lin�aire
Mercredi 23 novembre � 17h00 — Luke Ong (University of Oxford) — salle 0D1: Infinite trees, higher-order recursion schemes and game semantics
Jeudi 17 novembre — Xavier Leroy (INRIA Rocquencourt): V�rification en Coq d'un back-end de compilateur, ou: programmer un compilateur avec un assistant de preuve
Jeudi 3 novembre — Angelo Troina (Universit� di Pisa): Time and Probability based Information Flow Analysis
Jeudi 27 octobre — Jean-Marc Talbot (Laboratoire d'Informatique Fondamentale de Lille): Model-checking, Satisfiability and Expressiveness for the TQL Logic