Preuves, Programmes et Systèmes

Groupe de travail Concurrence et Programmation Aléatoire

Jeudi, à 14h30, dans le `sous-marin' 6A92 175 rue du Chevaleret, Paris 75013

Organisateurs: Samy Abbes, Jean Krivine, Daniele Varacca. Si vous n'êtes pas un membre de PPS vous pouvez recevoir les annonces de ce groupe de travail en écrivant aux organisateurs.

PROCHAIN EXPOSE:

2009/2010

• 06/05 - Trace Syntax and Semantics for True Concurrency - Dan Teodosiu, VirtuOz
• 29/04 - On the expressiveness of higher order communication - Cinzia Di Giusto, INRIA Grenoble
• 18/03 - Approximation, optimization and synthesis of stochastic processes - Sylvain Pradalier, LiX
• 04/03 - Terminaison dans un langage concurrent impur - Romain Demangeon, ENS Lyon
• 28/01 - A Minimization Algorithm for Symbolic Bisimilarity - Filippo Bonchi, CWI et LiX
• 18/12 - Synchronization of Markov Chains- Samy Abbes, PPS

Archive des années précédentes

Liens utiles: Concurrency mailing list - IFIP WG 1.8 Concurrency Theory - Projet ANR Choco - Projet ANR ParSec