• During the conference the online proceedings will be accessible via Springer link. See the details on the password protected page. The password will be announced at the registration desk.
  • If you have plans to visit Hermitage, consider buying a ticket online. As July is a tourist season, buying a ticket directly at the museum will take a while. Another option is to buy a ticket from a ticket machine, next to the queue.
  • Please check "How to get to your hotel from the airport", especially, if you are arriving at night.
  • Please note that if you have to cancel your booking in one of the Sokos hotels — the two hotels with negotiated prices, write a message on cav13-feedback at In this case the room goes to the pool of CAV rooms, and those who missed the deadline will have a chance to book it.
  • The early registration deadline is extended until May 28. Check the registration page.
  • They are waiting for you in St. Petersburg. See the photo.
  • There are people who have not received their Sokos booking confirmations yet. In case you do not receive one within seven days, please send the booking message once again and add our address cav13-feedback at to CC.
  • Registration: Online registration is now open
  • Hotel Booking: Check the special rates in Sokos hotels (limited offer until June 1st, 2013!)
  • The deadlines for visa invitation letters have been extended. Check the important dates!
  • Visa: Please check the information on visasinvitations, and frequently asked questions on visas!
  • The submission is now open!
  • Season’s Greetings! Following multiple requests, we moved the deadline to family friendly January 15.
    Abstract submission is January 10.

more …

Photo by © Andrey Kusnetsov.

CAV 2013 is the 25th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. CAV considers it vital to continue its leadership in hardware verification, maintain its recent momentum in software verification, and consider new domains such as biological systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.

CAV 2013 gratefully acknowledges the support from the following sponsors: