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


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 »