Alpine Verification Meeting (AVM)
Organizers of the Alpine Verification Meeting
- Dirk Beyer (2005, 2012)
- Roderick Bloem (2008, 2018)
- Alessandro Cimatti (2013)
- Krishnendu Chatterjee (2011)
- Alberto Griggio (2013)
- Tom Henzinger (2005, 2011)
- Radu Iosif (2014)
- Daniel Kröning (2006)
- Bettina Könighofer (2018)
- Viktor Kuncak (2010)
- Yassine Lakhnech (2007)
- Ondrej Lengal (2019)
- Anna Lukina (2017)
- Martina Seidl (2015)
- Natasha Sharygina (2006, 2010)
- Ana Sokolova (2015)
- Jan Strejcek (2019)
- Stefano Tonetta (2013)
- András Vörös (2017)
- Tomas Vojnar (2019)