Alpine Verification Meeting (AVM)
Past and Future AVMs
- 16th AVM: 2024, September 4–6, Freiburg, Germany, Black-Forest Alps ;-).
Matthias Heizmann, Dominik Klumpp, and Andreas Podelski - 15th AVM: 2023, September 11–13, Prague, Czechia.
Pavel Parizek - 14th AVM: 2022, September 12–14, Frauenchiemsee, Germany.
Gidon Ernst and Dirk Beyer - n-th AVM: 2021: , Timișoara, Romania.
Laura Kovacs - n-th AVM: 2020, October 19–21, Frauenchiemsee, Germany.
Gidon Ernst and Dirk Beyer - 13th AVM: 2019, September 9–11, Brno, Czechia.
Ondrej Lengal, Jan Strejcek, and Tomas Vojnar - 12th AVM: 2018, September 24–27, Wagrain, Austria.
Roderick Bloem and Bettina Könighofer - 11th AVM: 2017, September 18–21, Visegrád, Hungary.
András Vörös and Anna Lukina - 10th AVM: 2015, May 4–6, Attersee, Austria.
Martina Seidl and Ana Sokolova - 9th AVM: 2014, May 13–14, Frejus, France.
Radu Iosif - 8th AVM: 2013, May 27–29, Levico area, near Trento, Italy.
Alessandro Cimatti, Alberto Griggio, Stefano Tonetta - 7th AVM: 2012, May 21–22, University of Passau, Germany.
Dirk Beyer - 6th AVM: 2011, Mar 14–15, IST Austria, Klosterneuburg, Austria.
Krishnendu Chatterjee, Tom Henzinger - 5th AVM: 2010, Oct. 18–19, University of Lugano, Switzerland.
Viktor Kuncak, Natasha Sharygina - 4th AVM: 2008, May 19–20, Hotel Panhans, Semmering, Austria.
Roderick Bloem - 3rd AVM: 2007, Apr 23–25, VERIMAG, Grenoble, France.
Yassine Lakhnech - 2nd AVM: 2006, May 5–7, Monte Verita, Switzerland.
Daniel Kröning, Natasha Sharygina - 1st AVM: 2005, Oct. 6, EPFL, Lausanne, Switzerland.
Dirk Beyer, Tom Henzinger