Archives du séminaire PPS -- Annee 2007-2008
Jeudi 29 mai —
Barry Jay (Univ. of Tech. Sydney)
Why are there so many programming styles?
Jeudi 29 mai —
Thorsten Altenkirch (University of Nottingham)
Observational type theory
Jeudi 22 mai —
Andreas Döring (Imperial College)
The topos approach to the formulation of physical theories
Jeudi 17 avril —
Assia Mahboubi (INRIA)
Preuve formelle à grande échelle et réflexion à petite échelle
Jeudi 10 avril —
Andrea Asperti (Università di Bologna)
Rice's Theorem and the Yin Yang
Jeudi 3 avril —
Sanjeevi Krishnan (LIX)
Directed homotopy, non-Abelian (co)homology, and string rewriting
Jeudi 27 mars —
Juliusz Chroboczek
Babel, un protocole de routage pour réseaux maillés
Jeudi 6 mars —
Frédéric Ruyer (Université de Savoie)
Modèles pour le calcul et la logique
Jeudi 21 février —
Shriram Krishnamurthi (Brown University)
Programming Languages for Interactive Applications
Jeudi 31 janvier —
Vincent van Oostrom (Université d'Utrecht)
From sorting via braids, self-distributivity, and the
substitution lemma of the lambda-calculus, to multisets
Jeudi 24 janvier —
Luca Fossati (PPS / Università di Torino)
A Petri Net Model of Handshake Circuits
Jeudi 17 janvier —
Didier Rémy (INRIA)
MLF, réexpliqué
Jeudi 10 janvier —
Benoît Valiron (University of Ottawa)
A categorical semantics for a quantum lambda-calculus
Jeudi 6 décembre —
Arthur Chargueraud (INRIA)
Métathéorie Formelle
Jeudi 22 novembre —
Pietro Abate (PPS)
The Tableau WorkBench
Mercredi 14 novembre à 11h —
Stefano Zacchiroli (University of Bologna)
— salle 1C18
User interaction widgets for interactive theorem proving
Jeudi 15 novembre —
Benoît Montagu (INRIA)
Vers des modules de première classe
Jeudi 25 octobre —
Sylvain Lebresne (PPS)
Système F avec exceptions