Alpine Verification Meeting

The approximately 70 participants, mainly doctoral students and young researchers from five European countries, used the three days to intensively discuss topics of formal verification and related fields of computer science. The overarching aim of the AVM is to network future researchers in this field today. This goal was clearly achieved - also thanks to the beautiful atmosphere at the Caritas conference center on the Schlossberg.

12.09.2024

Contakt:

Prof. Andreas Podelski
University of Freiburg
Faculty of Engineering
Chair of Software Engineering
Georges-Köhler-Allee 52
79110 Freiburg