(http://www.pps.jussieu.fr/seminaire/)
Aujourd'hui a 11h :
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>
la semaine prochaine a 11h15 :
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/>
a suivre a 11h :
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>
