dimanche 26 septembre 2010

seminaire PPS: mardi 28/9 et jeudi 30/9

Chers tous,

nous avons deux seminaires cette semaine:


** Jeudi 30 Septembre, 11h, en salle 0C02 **
Jean Krivine (PPS):

Understanding stochastic systems with non local causality analysis
http://www.pps.jussieu.fr/seminaire/sem2010/abstracts/krivine

**Mardi 28 Septembre, 10h, en salle 5C03 **
Marco Gaboardi (Université de Bologne) :

Definability and Full abstraction for a Linear PCF
http://www.pps.jussieu.fr/seminaire/sem2010/abstracts/gaboardi


Cordialement,

claudia


> Chers tous,
> 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
>>
>>
>>
>>
>>
>>
>
>

mercredi 22 septembre 2010

seminaire PPS du 23/9 - change de date et salle

Chers tous,
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
>
>
>
>
>
>

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