AVM25: 17TH ALPINE VERIFICATION MEETING
Submission

If you would like to give a talk, please submit a preliminary title and abstract at

https://easychair.org/conferences/?conf=avm25

Please make your submission by August 14, 2025 (extended final deadline). 

Your presentation details can be changed later, if needed. Your presentation (tentative) details will help us in putting together the AVM program.