[Seminaire PPS] L. Vaux 3/12

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
----------------

[Seminaire PPS]: 26/11 Antoine Miné

Séminaire PPS

175 rue du Chevaleret, Paris 13ème.

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

[Seminaire PPS] 19/11 Pablo Arrighi

Séminaire PPS

175 rue du Chevaleret, Paris 13ème.

Jeudi 19 Novembre, 11h salle 3E91 – Pablo Arrighi (U. Grenoble),

A System F accounting for scalars