Day: 2. September 2019
13th Alpine Verification Meeting -- AVM'19
FIT BUT organises together with FI MU 13th Alpine Verification Meeting -- AVM'19: a meeting on current research in automated verification (mainly but not only) for researchers and students (mainly but not only) from Alpine countries and their surroundings. At the meeting, new results will be presented mainly by PhD students, but there will also be invited talks by three renowned researchers: J. Esparza from TU Munich, M. Pezze from Universita della Svizzera italiana and Universita degli studi di Milano Bicocca, and N. Gorogiannis from Facebook.