The Alpine Verification Meeting (AVM) is an informal meeting on current problems in formal verification. The goal of the meeting is to bring together researchers from the region to update each other on their research, to have time for discussion, also on possible collaborations. The meeting is open to the public.

The programme of AVM’19 will consist of three invited lectures and talks by 
the participants, typically on results they have recently published, submitted for publication, or on an ongoing research. Students, in particular, are encouraged to participate and give a talk (though giving a talk is not required).

AVM’19 takes place from 9th to 11th September 2019 in Brno, the birthplace of Kurt Gödel, one of the most significant logicians in history. Brno is a lively student city, the capital of Moravia (one of the three regions of Czech Republic) with a booming IT and technology industry. In addition to many beautiful churches and museums, it is also the place of the UNESCO-protected Vila Tugendhat. See here for more information about the sights in Brno.


The talks will take place at Faculty of Information Technology, Brno University of Technology, in the auditorium of Kurt Gödel (E112). The auditorium is connected to a former Carthusian monastery (established in 1375).


AVM’19 is co-organized by Faculty of Information Technology, Brno University of Technology and Faculty of Informatics, Masaryk University.