Alpine Verification Meeting (AVM)

Organizers of the Alpine Verification Meeting

• Dirk Beyer (2005, 2012)
• Roderick Bloem (2008)
• Alessandro Cimatti (2013)
• Krishnendu Chatterjee (2011)
• Alberto Griggio (2013)
• Tom Henzinger (2005, 2011)
• Radu Iosif (2014)
• Daniel Kröning (2006)
• Viktor Kuncak (2010)
• Yassine Lakhnech (2007)
• Martina Seidl (2015)
• Natasha Sharygina (2006, 2010)
• Ana Sokolova (2015)
• Stefano Tonetta (2013)
• Radu Iosif (2014)