13th Alpine Verification Meeting -- AVM'19

The Faculty of Information Technology of BUT in co-operation with the Faculty of Informatics of Masaryk University organised the 13th Alpine Verification Meeting - AVM'19 which took place from 9 to 11 September. This is a meeting of people interested in current research in the area of automatic verification (as well as some other areas) from the Alpine region and the surrounding countries. At the meeting, mainly doctoral students were presenting their results, however, there were also three lectures given by prominent experts in the given area: J. Esparza of TU Munich, M. Pezze of Universita della Svizzera italiana and Universita degli studi di Milano Bicocca and N. Gorogiannis from Facebook. For more information, see HERE.