Preuves, Programmes et Systèmes

Séminaire PPS

Responsables: Claudia Faggian, Jean Krivine, et Alexis Saurin.
Contactez sempps pour être inscrit à la liste de diffusion du séminaire.

En général, nous prévoyons une pause café informelle avant le début du séminare, à partir de 10H45.

2012

Mardi 20 Mars, 11h – David Baelde
Watermarking, a case study in formal proofs of probabilistic programs

Jeudi 8 Mars, 11h salle 1D23 – Olivier Hermant

Jeudi 1 Mars, 11h salle 1D23 –Arthur Charguéraud
Characteristic Formulae for the Verification of Imperative Programs

Jeudi 16 fevrier, 11h salle 1D23 –Margherita Zorzi (LIPN, Paris)
An introduction to quantum complexity and quantum ICC

Jeudi 26 janvier,  11h salle 1D23 – Marcelo Fiore (Cambridge)
Algebraic Foundations for Type Theories

Jeudi 19 janvier, 11h salle 1D23 – Silvia Crafa (Padua)
A spectrum of behavioral relations over LTSs on probability distributions

Jeudi 12 janvier, 11h salle 1D23 – Paul Ruet (PPS)
Cycles locaux et attracteurs dans les réseaux booléens asynchrones

2011

Jeudi 15 décembre, 11h salle 1D23 –Vasileios Koutavas (Dublin)
Reasoning Techniques for Program Equivalence

Jeudi 8 décembre – Réunion Projet Chocolat à Lyon

Jeudi 1 décembre, 11h salle 1D23 – Giuseppe Castagna (PPS)
Set-theoretic Parametric Polymorphism and Subtyping

Jeudi 24 novembre – Réunion LAC–Géocal

Jeudi 17 novembre, 11h salle 1D23 – Stéphanie Delaune (ENS Cachan)
Analysing security protocols using process algebra

Jeudi 10 novembre – Réunion CHOCOLAT à Lyon

Jeudi 3 novembre – Pierre-Yves Strub (MSR INRIA)
Toward Machine-Checked Program Verification for Concrete Cryptography

Jeudi 27 octobre, 11h salle 1D23 – Relâche du séminaire (Toussaint)

Jeudi 20 octobre, 11h salle 1D23 – Per Martin-Löf (Université de Stockholm)
How did "judgement" come to be a term of logic?

Jeudi 13 octobre – Réunion CHOCOLAT à Lyon

Jeudi 6 octobre, 11h salle 1D23 – Ryan Wisnesky (Université de Harvard)
A Monadic Query Language

Jeudi 29 septembre, 11h salle 1D23 – Nikos Tzevelekos (Department of Computer Science, University of Oxford)
Game semantics for good general references

Archives du séminaire PPS

2010–2011

2009–2010

2008–2009