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 * Meeting of the [[http://richmodels.org|COST Action IC0901]] * //The Alpine Verification Meeting is an informal meeting on current problems in formal verification. The goal of the meeting is to bring together researchers from the region to update each other on their research, to have time for discussion, also on possible collaborations.// * Alpine((Our definition of Alpine includes anyone who is interested and willing to lie about the amount of mountains in his vicinity.)) Verification Meeting (see [[http://events.iaik.tugraz.at/avm2008/|AVM 2008]]) * //COST Action IC0901 explores directions and techniques for making automated reasoning (including analysis and synthesis) applicable to a wider range of problems, as well as making them easier to use by researchers, software developers, hardware designers, and information system users and developers.// 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//