This is an old revision of the document!

====== COST Action Work Group Meeting and Alpine Verification Meeting 2010 ====== Time: 18-19 October (Monday-Tuesday) 2010 Place: [[http://fmcad10.iaik.tugraz.at/venue.html|University in Lugano]] This is a joint event of * Alpine Verification Meeting (see [[http://events.iaik.tugraz.at/avm2008/|AVM 2008]]) * Meeting of the [[http://richmodels.org|COST Action IC0901]] The meeting is collocated with [[http://fmcad10.iaik.tugraz.at/|FMCAD 2010]] Talk Abstract Submission Deadline is Expected: August 2010 Local Organization: * Viktor Kuncak * Natasha Sharygina //More information will follow soon//