mercredi 15 septembre 2010

seminaire PPS Jeudi 23/9

Chers tous,

le séminaire PPS reprend après l'été,

le jeudi 23 Septembre, 11h, en salle 0C02

avec un séminaire de

Marco Gaboardi (Université de Bologne) :
Definability and Full abstraction for a Linear PCF

https://www.pps.jussieu.fr/seminaire/sem2010/abstracts/gaboardi

------------------------------------------------------
A suivre:

Jeudi 30 Septembre, 11h, en salle 0C02
Jean Krivine (PPS):
Understanding stochastic systems with non local causality analysis

Aucun commentaire: