AVM’24

The 16th Alpine Verification Meeting (AVM’24) took place from the 4th to the 6th of September, 2024, in Freiburg im Breisgau, Germany. This year’s event was hosted at the Caritas Tagungszentrum, a conference center located in the historic city of Freiburg, nestled in the foothills of the Black Forest.

AVM is an informal series of annual meetings that brings together PhD students, researchers, and academics from the Alpine region to discuss pressing topics in formal verification.

The 2024 meeting welcomed 50 participants from Austria, Germany, Switzerland, and the Czech Republic, offering a unique platform for these academics, researchers, and students to present their latest findings. The event was organized by Dominik Klumpp, Andreas Podelski, and Matthias Heizmann from the University of Freiburg, whose efforts ensured that the conference ran smoothly while maintaining the collaborative and informal atmosphere that AVM is known for.

AVM’24 began with an engaging keynote address delivered by Philipp Rümmer, Professor of Theoretical Computer Science at the University of Regensburg. His talk, titled “Automatic Program Instrumentation for Automatic Verification,” set the tone for the technical discussions that followed throughout the meeting.

In addition to the academic sessions, AVM’24 also featured an exciting excursion on Thursday afternoon. Participants took a trip to the scenic Schauinsland mountain, one of the most breathtaking spots in the Black Forest region. There, they experienced the thrill of riding Germany’s longest-circulating cable car, the Schauinslandbahn.

The evenings at AVM’24 were equally engaging, as participants gathered for social events filled with lively chats and board games. These informal gatherings further strengthened the sense of community, providing an opportunity to exchange ideas in a relaxed setting that fostered both professional relationships and personal friendships.

Freiburg, with its charming mix of medieval architecture, cobblestone streets, and a vibrant academic scene, provided the perfect backdrop for these enriching conversations.

The success of AVM’24 would not have been possible without the generous support of its sponsors.

• Certora is known for its formal verification platform that ensures the security and correctness of smart contracts.
• Amazon AWS, a leader in cloud computing services
• SICK, is a global provider of intelligent sensor solutions.

EasyConferences was responsible for the online registration process, ensuring that participants could register for the event without hassle.

AVM’24 once again succeeded in bringing together a vibrant community of formal verification researchers, offering them not only a platform to share their work but also the opportunity to experience the natural and cultural beauty of Freiburg.