mardi 15 mars 2011

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

Aucun commentaire: