Preuves, Programmes et Systèmes

Séminaire PPS

Responsables: Roberto Amadio et Claudia Faggian.
Contactez Claudia Faggian pour être inscrit à la liste de diffusion du séminaire.

Archives du séminaire PPS

_

2010

Jeudi 14 Janvier, 11h salle 3E91 – Dimitrios Vytiniotis (Microsoft Research),
Type system support for static program verification

Jeudi 21 Janvier, 11h salle 3E91 – Guillaume Burel (Max-Planck-Institut, Saarbrücken),
Des démonstrations plus simples via la déduction modulo

Jeudi 28 Janvier, 11h salle 3E91 – Jean Goubault-Larrecq (ENS Cachan),
Une introduction au pavé, à géométrie variable

Jeudi 4 Fevrier, 11h salle 3E91 – Serge Grigorieff (Liafa),
Operational algorithmic completeness of Lambda Calculus

2009

Jeudi 24 Septembre, salle 3E91 – Hugo Herbelin (INRIA et PPS),
Sur quelques problèmes ouverts de la théorie de Coq et leurs conséquences pratiques

Jeudi 15 Octobre, salle 3E91 – Andreas Abel (LMU, Munich),
Normalization by evaluation for dependent type theory

Vendredi 6 Novembre, 11h salle 0D4 – Dan Ghica (U. Birmingham),
[attention à la date et à la salle !]
Geometry of synthesis: from programs to digital circuits via game semantics

Jeudi 19 Novembre, 11h salle 3E91 – Pablo Arrighi (U. Grenoble),
A System F accounting for scalars

Jeudi 26 Novembre, 11h salle 3E91 – Antoine Miné (ENS, Paris),
Static analysis of run-time errors in parallel embedded C code

Jeudi 3 Décembre, 11h salle 3E91 – Lionel Vaux (U. Marseille),
Points fixes et types de données dans le modèle relationnel finitaire

Jeudi 10 Décembre, 11h salle 0D1 – Alan Schmitt (INRIA Grenoble),
[attention à la salle !]
Expressivity in higher order calculi

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