Séminaire PPS
175 rue du Chevaleret, Paris 13ème.
Jeudi 3 Décembre, 11h salle 3E91 – Lionel Vaux (U. Marseille),
Points fixes et types de données dans le modèle relationnel finitaire
---------------
A suivre :
Jeudi 10 Décembre, 11h salle 3E91 – Alan Schmitt (INRIA Grenoble),
Expressivity in higher order calculi
Jeudi 17 Décembre, 11h salle 3E91 – Christian Retoré (U. Bordeaux),
TBA
----------------
Aucun commentaire:
Enregistrer un commentaire