9-11 Sep 2019
Brno, Czech Republic
---------------------------------------------------------------------------------------------- 13TH ALPINE VERIFICATION MEETING (AVM?19) Brno, Czech Republic, 9?11 September 2019 https://avm19.fit.vutbr.cz Co-organized by Faculty of Information Technology, Brno University of Technology and Faculty of Informatics, Masaryk University. ---------------------------------------------------------------------------------------------- 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 and to have time for discussions about future research as well as possible collaborations. The meeting is open to the public. The programme of AVM?19 will include three invited lectures, possibly complemented by two further talks on applications of verification in the industry (under negotiations). The main part of the programme will be devoted to research 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). In particular, the invited talks of AVM?19 will be the following: ? Javier Esparza, TU Munich: TBA ? Nikos Gorogiannis, Facebook: Concurrency bug detection at scale with Infer ? Mauro Pezzè, Università della Svizzera italiana and Università degli studi di Milano Bicocca: Automatic Verification of Human-Centric Cyber-Physical Systems 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. The talks will take place at Faculty of Information Technology, Brno University of Technology, in the auditorium of Kurt Gödel. The auditorium is connected to a former Carthusian monastery (established in 1375). The social programme will include a guided tour to the Punkva caves http://www.moravskykras.net/en/punkva-caves.html followed by a walk to the Podvr?í observation tower http://www.rozhledna-veselice.cz (from where the Alps can in theory be seen in good conditions so that the name of the event is justified :)). Information about registration of participants and talks can be found here: https://avm19.fit.vutbr.cz/index.php/registration/ The registration fees are as follows: ? until 31 July 2019: 3500 CZK (~ 136 EUR) ? 1 August ? 31 August 2019: 4500 CZK (~ 175 EUR) ? after 1 September 2019: 5500 CZK (~ 214 EUR) Negotiated accommodation prices in Hotel Avanti (valid until 31 July 2019) are as follows: ? single room: 1400 CZK (~ 55 EUR) per night ? double room: 1650 CZK (~ 64 EUR) per night See https://avm19.fit.vutbr.cz/index.php/accommodation/ for more information. Organizers: Ond?ej Lengál, Jan Strej?ek, and Tomá? Vojnar -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam