This is an old revision of the document!


A PCRE internal error occured. This might be caused by a faulty plugin

====== Alpine Verification Meeting and Rich Model Toolkit Meeting in Lugano ====== Time: 18-19 October (Monday-Tuesday) 2010 Talk, Poster, and Research Demonstration Abstract Deadline is September 1st, 2010 Place: [[http://fmcad10.iaik.tugraz.at/venue.html|University in Lugano]], collocated with [[http://fmcad10.iaik.tugraz.at/|FMCAD 2010]] ([[http://fmcad10.iaik.tugraz.at/FMCAD10_program.pdf|program]]) {{:lugano2.jpg|Lugano}} The event is * Meeting of the [[http://richmodels.org|COST Action IC0901]] * //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.// * Alpine Verification Meeting (see [[http://events.iaik.tugraz.at/avm2008/|AVM 2008]]) * //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.// **Participants** will include [[http://richmodels.org|COST Action IC0901]] members, Alpine Verification Group attendees, and invited speakers. **Social program** will include hiking and dinner. Lugano is a beautiful tourist resort in Switzerland. Local Organization: * Viktor Kuncak * Natasha Sharygina //More information will follow soon. If you have any question, please feel free to contact Viktor Kuncak.//