Laurent Fribourg

Senior Researcher, CNRS

Selected Publications

Available Position (fall 2009- fall 2010) of Post-doc in project VALMEM

Institut FARMAN

IMITATOR Program ( Tentative Logo )

Project ANR Valmem ( Team 1 , Team 2 )

Forthcoming Conferences:
- Reachability Problems 2010
- Automated Technology for Verification and Analysis 2010
Lecture Notes:
- Probabilistic Self-Stabilizing Algorithms, Markov Chains and Markov Decision Processes, Course 2-18 MPRI, Nov. 2007.

About LSV

Contact

Laurent Fribourg

Address: LSV, CNRS & ENS de Cachan
61, avenue du Président Wilson
94235 CACHAN Cedex, France
Office: RH-B-109
Phone: +33 (0)1 47 40 75 36
Fax: +33 (0)1 47 40 75 21
Secr.: +33 (0)1 47 40 75 20
E-Mail: fribourg@lsv.ens-cachan.fr