Archives du Séminaire PPS – Année 2008–2009

Jeudi 18 Septembre, salle 1C18 — François Pottier (INRIA),
Pas vu pas pris — ou comment passer vos effets de bord sous silence

Jeudi 25 Septembre, salle 0C2 — Gérard Boudol (INRIA),
Typing safe deallocation

Jeudi 2 Octobre, salle 0C2 — Olivier Laurent (ENS Lyon),
Un modèle de jeux quantitatif de la logique lineaire intuitionniste

Jeudi 16 Octobre, salle 0C2 — Jean-Eric Pin (LIAFA, Paris),
Dualité et théorie équationnelle des langages rationnels

Jeudi 23 Octobre, salle 0C2 — Jean-Christophe Filliâtre (LRI, Orsay),
La plateforme Why de vérification déductive de programmes C et Java

Vendredi 24 Octobre, salle 6A92 (11h) – Robert Harper (CMU, Pittsburgh),
Focusing on binding and computation

Jeudi 13 Novembre, salle 0C2 — Dale Miller (LIX, Palaiseau),
Proof and refutation in MALL as a game

Jeudi 20 Novembre, salle 0C2 – Jerôme Feret (LIENS, Paris),
Réduction de sémantiques différentielles pour réseaux d'interactions entre protéines par interprétation abstraite

Jeudi 27 Novembre, salle 0C2 — Eric Goubault (CEA LIST, MeASI),
Analyse statique de systèmes parallèles par des méthodes géométriques

Jeudi 4 Décembre, salle à preciser – Iordanis Kerenidis (LRI, Orsay),
Introduction to quantum interactive systems
NB Cet exposé est en commun avec le séminaire de l'ANR Choco et il commence à 11h15.

Jeudi 11 Décembre, salle 0C2 — Alain Frisch (Lexifi, Paris),
OCaml chez LexiFi

Jeudi 18 Décembre, salle 0C2, – Jean Krivine (Harvard Medical School, Boston),
Modeling dynamic molecular compartments: the bigraphical approach

Jeudi 15 Janvier, salle 0C2 – Emmanuel Beffara (IML, Marseille),
Calculs de processus algébriques

Jeudi 22 Janvier, salle 0C2 – Cosimo Laneve (Univ. Bologna),
Reachability analysis in the k-family

Jeudi 26 Février, salle 0C2 – Matthieu Sozeau (LRI, Orsay),
Programming with Dependent Types in Coq

Jeudi 5 Mars, salle 0C2 – Ralf Treinen (PPS, Paris),
MANCOOSI: research topics in component-based software

Mardi 31 Mars, salle 6C01 – Richard Blute (Ottawa),
Smooth Spaces and Convenient Vector Spaces

Jeudi 9 Avril, salle 0C2 – Bartek Klin (Cambridge),
Observable monoidal reactive systems

Jeudi 7 Mai, salle 0C2 – Harry Mairson (Boston),
Linear Logic and the Complexity of Control Flow Analysis

3 et 4 juin, de 9h30 à 17h30, salle 0C05
THÉORIE DES MODÈLES ET LAMBDA-CALCUL, colloque en l'honneur de Chantal Berline

Jeudi 11 Juin, salle 0C2 – Lorenzo Tortora de Falco(Roma),
Sémantique relationnelle et temps d'exécution en Logique Linéaire

Jeudi 25 Juin, salle 0C2 – Colin Riba (Lyon),
On the Values of Reducibility Candidates

Jeudi 2 Juillet, salle 0C2 – Naohiko Hoshino (RIMS, Kyoto),
Linearization of realizability