verifyThis 2023 was organized by Paula Herber (University of Münster) and Alexander J. Summers (University of British Columbia) at ETAPS 2024 in Luxembourg.
verifyThis 2023 was organized by Paula Herber (University of Münster) and Alexander J. Summers (University of British Columbia) at ETAPS 2024 in Luxembourg.
verifyThis 2023 was organized by Xavier Denis and Stephen Siegel.
verifyThis 2022 was organized by Marie Farrell and Peter Lammich.
verifyThis 2021 was organized by Siddharth Krishna and Wytse Oortwijn.
verifyThis 2019 was organized by Claire Dross, Carlo A. Furia.
verifyThis 2018 was organized by Andrei Paskevich, Gidon Ernst.
verifyThis 2017 was organized by Wojciech Mostowski, Mattias Ulbrich
VerifyThis 2016 was organized by Marieke Huisman, Peter Müller, Erik Poll, Radu Grigore.
verifyThis 2015 was organized by Marieke Huisman, Vladimir Klebanov, Rosemary Monahan.
verifyThis 2014 was organized by Dirk Beyer, Marieke Huisman, Vladimir Klebanov, Rosemary Monahan.
VerifyThis 2012 was organized by Marieke Huisman, Vladimir Klebanov, Rosemary Monahan.
verifyThis 2011 was organized by Marieke Huisman, Vladimir Klebanov, Rosemary Monahan.