Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
lugano [2010/07/30 11:43] vkuncak |
lugano [2010/08/12 16:36] vkuncak |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== Alpine Verification and Rich Model Toolkit Meetings in Lugano ====== | + | ====== Alpine Verification Meeting and Rich Model Toolkit Meeting in Lugano ====== |
| Time: 18-19 October (Monday-Tuesday) 2010 | Time: 18-19 October (Monday-Tuesday) 2010 | ||
| Line 5: | Line 5: | ||
| Talk, Poster, and Research Demonstration Abstract Deadline is September 1st, 2010 | Talk, Poster, and Research Demonstration Abstract Deadline is September 1st, 2010 | ||
| - | Place: [[http://fmcad10.iaik.tugraz.at/venue.html|University in Lugano]] | + | 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 | The event is | ||
| Line 12: | Line 14: | ||
| * 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]]) | * 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]]) | ||
| * //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.// | * //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.// | ||
| - | |||
| - | The meeting is collocated with [[http://fmcad10.iaik.tugraz.at/|FMCAD 2010]] | ||
| **Participants** will include [[http://richmodels.org|COST Action IC0901]] members, Alpine Verification Group attendees, and invited speakers. | **Participants** will include [[http://richmodels.org|COST Action IC0901]] members, Alpine Verification Group attendees, and invited speakers. | ||
| Line 24: | Line 24: | ||
| * Natasha Sharygina | * Natasha Sharygina | ||
| - | //More information will follow soon// | + | //More information will follow soon. If you have any question, please feel free to contact Viktor Kuncak.// |