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