François Laroussinie

Assistant professor, ENS de Cachan

• Selected Publications

• Axe Tempo

• Mémoire d'habilitation -- Soutenance: jeudi 8 décembre 2005.

• The (H)CMC tool  

• Cours-TDs C++

• Ecole d'été MOVEP'06, Ecole d'hiver MOVEP'04, FORMATS 2003 , TIME-ICTL 2003 , Ecole d'été MOVEP'02, Workshop EXPRESS'02 .

• My PGP public key.  

About LSV

• News
• People
• Research
• Seminars
• Teaching
• Contact

• École Normale Supérieure de Cachan
• Centre National de la Recherche Scientifique