SEMINAIRE PPS
la semaine prochaine :
Jeudi 27 Novembre, salle 0C2 -- Eric Goubault (CEA LIST, MeASI)
Analyse statique de systèmes parallèles par des méthodes
géométriques
<http://www.pps.jussieu.fr/seminaire/sem2008/abstracts/goubault.html>
a suivre :
Jeudi 4 Décembre, salle 0C2, -- Iordanis Kerenidis (LRI, Orsay),
Introduction to quantum interactive systems.
<http://www.pps.jussieu.fr/seminaire/sem2008/abstracts/kerenidis.html>
NB Cet exposé est en commun avec le séminaire de l' ANR Choco
<http://choco.pps.jussieu.fr/event12/> et il commence a 11h15.
Jeudi 11 Décembre, salle 0C2 -- Alain Frisch (LexiFi, Paris),
OCaml chez LexiFi
<http://www.pps.jussieu.fr/seminaire/sem2008/abstracts/frisch.html>
Jeudi 18 Décembre, salle 0C2, -- Jean Krivine (Harvard Medical School,
Boston),
Modeling dynamic molecular compartments: the bigraphical approach.
<http://www.pps.jussieu.fr/seminaire/sem2008/abstracts/krivine.html>