seminaire PPS, jeudi 24 Mars (11h, salle 0C02)

Chers tous,  la prochaine séance du séminaire PPS est: Jeudi 24 Mars, 11h salle 0C02 –  Pierre-Malo Denielou (Imperial College, London) , Dynamic Multirole Session Types A bientot  Claudia

Rappel: Serguei Langlet, 14h, salle 0D07

---------
Jeudi 17 Mars, 14h salle 0D07 – Serguei Langlet (Wroclaw) ,

Expansion for universal quantifiers

----------

double seance seminaire PPS, jeudi 17/3

Chers tous, jeudi prochain, nous avons une double séance pour le séminaire PPS: Jeudi 17 Mars, 11h salle 0C02 – Cinzia Di Giusto (INRIA) , The kappa calculus: a study on the expressiveness of rewriting rules Jeudi 17 Mars, 14h salle 0D07 – Serguei Langlet (Wroclaw) , Expansion for universal quantifiers A bientot claudia

seance exceptionelle seminaire PPS, lundi 14/3

Chers tous,

en profitant du passage de Phil Scott,
on va avoir une seance exceptionelle du seminaire,

lundi 14 Mars, 11h, salle 0D04

Phil Scott (Ottawa) ,
Traced categories: algebraic structure of feedback and partial feedback

seminaire PPS, jeudi 10 Mars (11h, salle 0C02)

Chers tous,
pour la prochaine séance du séminaire PPS,
Jeudi 10 Mars, 11h salle 0C02:

Masahiro Hamano (JST, Japan) ,
A Geometry of Interaction for Polarized Linear Logic

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

a bientot
claudia