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

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

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

Jeudi 18 Mars , 11h salle 3E91 – Daniel de Carvalho (LIPN),
La sémantique relationnelle de la logique linéaire est-elle injective?

Jeudi 18 Mars , 14h30 salle 6A92 (sous-marin) – Sylvain Pradalier (Inria Rocquencourt),
Approximation, optimization and synthesis of stochastic processes

Mardi 30 Mars, 14h (en salle 0C02) – David Baelde (University of Minnesota, USA)
Finite automata and regular fixed point formulas in muMALL

Jeudi 8 Avril, 11h salle 3E91 – Nino Salibra (Univ. Venezia),
Problem 19

Jeudi 15 Avril, 11h salle 3E91 – Paolo Di Giamberardino (LIPN, Paris),
Jump from parallel to sequential proofs: exponentials.

Jeudi 6 Mai, 11h salle 3E91 – Michele Abrusci (Roma 3),
Quelques thèmes de la théorie de la démonstration du XXe siècle, vus d'aujourd'hui

Jeudi 3 Juin 11h salle 3E91 – Silvia Crafa (Padova),
A Logic for True Concurrency

Jeudi 22 Juillet 11h salle 3E91 – Michel P. Schellekens (National University of Ireland, Cork ),
Towards predictable software-hardware co-design