Official carrier


Book your flights to the 25th International Conference on Computer Aided Verification online at and save 15 % on all applicable fares!

To do so, simply enter the following code in the eVoucher field on the Austrian homepage booking-engine:
Code: CAV13


• Booking period: now until July 19th, 2013
• Valid for flights to St Petersburg via Vienna and return as of July 6th, 2013 until July 26th, 2013 (final date for return flight) on OS flight numbers.