François Laroussinie

Maître de conférences, ENS de Cachan

• 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.  

À propos du LSV

• Actualités
• Membres
• Recherche
• Séminaires
• Enseignement
• Contact