AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Archive pour November, 2007

Workshop LSV 26-27 Nov. 2007

Tuesday 6 November 2007

LSV |= 10Y : 10 Years of Verification in Cachan

Special Workshop, 26-27 Nov. 2007, Cachan, France

See http://www.lsv.ens-cachan.fr/LSV10Y

The Laboratoire Spécification & Vérification (LSV) is organizing a two-day
workshop to celebrate its 10th anniversary. The workshop will be centered
around two special awards ceremonies:
- Patricia Bouyer receiving CNRS’s 2007 Bronze Medal for Computer Science (Monday 26th),
- Kim G. Larsen becoming Doctor Honoris Causa at ENS Cachan (Tuesday 27th).

Publié dans Manifestations, Séminaires | Pas de commentaire »