Alpine Verification Meeting
Der Lehrstuhl für Softwaretechnik unter Leitung von Prof. Andreas Podelski hat das Alpine Verification Meeting (AVM) vom 4. bis 6. September in Freiburg ausgerichtet.
Die rund 70 Teilnehmer, vor allem Doktoranden und junge Forscher aus fünf europäischen Ländern, nutzten die drei Tage, um sich intensiv über Themen der formalen Verifikation und angrenzende Felder der Informatik auszutauschen. Das übergeordnete Ziel der AVM besteht darin, zukünftige Forscher des Themenbereichs schon heute zu vernetzen. Dieses Ziel wurde – auch dank der schönen Atmosphäre im Caritas Tagungszentrum auf dem Schlossberg – eindeutig erreicht.
12.09.2024
Kontakt:
Prof. Andreas Podelski
Albert-Ludwigs-Universität Freiburg
Technische Fakultät
Professur für Softwaretechnik
Georges-Köhler-Allee 52
79110 Freiburg