Book your flights to the 25th International Conference on Computer Aided Verification online at www.austrian.com 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

Conditions:

• 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.