a cause de la greve du 23/9, on déplace le séminaire de Marco Gaboardi a
** mardi 28 Septembre, 10h, en salle 5C03 **
juste avant le GdT Semantique.
Marco Gaboardi (Université de Bologne) :
Definability and Full abstraction for a Linear PCF
https://www.pps.jussieu.fr/seminaire/sem2010/abstracts/gaboardi
A bientot.
Claudia
> 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:
Enregistrer un commentaire