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


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.