AFSEC

Approches Formelles des Systèmes Embarqués Communicants

Workshop LSV 26-27 Nov. 2007

6th 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).

Leave a Reply

You must be logged in to post a comment.