| CARVIEW |
Select Language
HTTP/2 302
content-type: text/html; charset=utf-8
location: //fmv.jku.at/avm15/
vary: Origin
x-request-id: 01KEYPSJ858M9N3F2N2BANEJ4F
content-length: 42
date: Wed, 14 Jan 2026 16:53:01 GMT
HTTP/2 200
accept-ranges: bytes
cache-control: max-age=600
content-type: text/html; charset=utf-8
etag: "6eb996eab52cf1ece84e8bcdf0c9098455aa98f8d4214cdc612732cacd3708a8"
expires: Wed, 14 Jan 2026 18:03:01 CET
last-modified: Thu, 25 Sep 2025 14:31:26 GMT
vary: Origin
x-request-id: 01KEYPSJCKPR50BXDTHRZASFDV
content-length: 3296
date: Wed, 14 Jan 2026 16:53:01 GMT
Alpine Verification Meeting
Navigation
- Current page is Home
- Venue
- Registration
- Program
10th Alpine Verification Meeting (AVM 2015)
News
- Program is online
- Invited talk by Dexter Kozen!
Important Dates
- March 21 2015: submission of titles and abstracts of proposed talks by supervisors
- March 28 2015: notification of acceptance
- April 5 2015: registration
- May 4 - May 6 2015: Workshop
