This is an old revision of the document!
A PCRE internal error occured. This might be caused by a faulty plugin
====== COST Action Work Group Meeting and Alpine Verification Meeting 2010 ====== This is a joint event of * Alpine Verification Meeting * Meeting of the [[http://richmodels.org|COST Action IC0901]] Collocated with [[http://fmcad10.iaik.tugraz.at/|FMCAD 2010]] Time: 18-19 October (Monday-Tuesday) 2010 Place: [[http://fmcad10.iaik.tugraz.at/venue.html|University in Lugano]] Talk Abstract Submission Expected: August 2010 Local Orgization: * Viktor Kuncak * Natasha Sharygina //More information will follow soon//