CAV 2013 » Languages » English http://cav2013.forsyte.at 25th International Conference on Computer Aided Verification Wed, 10 Jun 2015 11:07:47 +0000 en-US hourly 1 http://wordpress.org/?v=4.2.2 Electronic proceedings http://cav2013.forsyte.at/2013/07/electronic-proceedings-2/ http://cav2013.forsyte.at/2013/07/electronic-proceedings-2/#comments Fri, 12 Jul 2013 13:48:33 +0000 http://cav2013.forsyte.at/?p=1205 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.

]]>
http://cav2013.forsyte.at/2013/07/electronic-proceedings-2/feed/ 0
Hermitage http://cav2013.forsyte.at/2013/07/hermitage/ http://cav2013.forsyte.at/2013/07/hermitage/#comments Mon, 08 Jul 2013 16:34:15 +0000 http://cav2013.forsyte.at/?p=1126 Continue reading ]]> 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.

]]>
http://cav2013.forsyte.at/2013/07/hermitage/feed/ 0
Local info http://cav2013.forsyte.at/2013/07/local-info-news/ http://cav2013.forsyte.at/2013/07/local-info-news/#comments Mon, 08 Jul 2013 16:28:03 +0000 http://cav2013.forsyte.at/?p=1123 Please check “How to get to your hotel from the airport”, especially, if you are arriving at night.

]]>
http://cav2013.forsyte.at/2013/07/local-info-news/feed/ 0
Cancellations http://cav2013.forsyte.at/2013/06/cancellations/ http://cav2013.forsyte.at/2013/06/cancellations/#comments Tue, 11 Jun 2013 07:31:31 +0000 http://cav2013.forsyte.at/?p=1085 Continue reading ]]> 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 forsyte.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.

]]>
http://cav2013.forsyte.at/2013/06/cancellations/feed/ 0
Early registration deadline extended http://cav2013.forsyte.at/2013/05/early-registration-deadline-extended/ http://cav2013.forsyte.at/2013/05/early-registration-deadline-extended/#comments Fri, 17 May 2013 15:05:04 +0000 http://cav2013.forsyte.at/?p=1052 The early registration deadline is extended until May 28. Check the registration page.

]]>
http://cav2013.forsyte.at/2013/05/early-registration-deadline-extended/feed/ 0
matreshka http://cav2013.forsyte.at/2013/05/matreshka/ http://cav2013.forsyte.at/2013/05/matreshka/#comments Tue, 07 May 2013 14:42:41 +0000 http://cav2013.forsyte.at/?p=1035 They are waiting for you in St. Petersburg. See the photo.

]]>
http://cav2013.forsyte.at/2013/05/matreshka/feed/ 0
Feedback http://cav2013.forsyte.at/2013/05/1018/ http://cav2013.forsyte.at/2013/05/1018/#comments Fri, 03 May 2013 13:39:32 +0000 http://cav2013.forsyte.at/?p=1018 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 forsyte.at to CC.

]]>
http://cav2013.forsyte.at/2013/05/1018/feed/ 0
Registration is open http://cav2013.forsyte.at/2013/04/registration-is-open/ http://cav2013.forsyte.at/2013/04/registration-is-open/#comments Thu, 18 Apr 2013 12:13:25 +0000 http://cav2013.forsyte.at/?p=921 Registration: Online registration is now open

]]>
http://cav2013.forsyte.at/2013/04/registration-is-open/feed/ 0
Booking in Sokos hotels http://cav2013.forsyte.at/2013/04/booking-in-sokos-hotels/ http://cav2013.forsyte.at/2013/04/booking-in-sokos-hotels/#comments Mon, 15 Apr 2013 15:36:57 +0000 http://cav2013.forsyte.at/?p=916 Hotel Booking: Check the special rates in Sokos hotels (limited offer until June 1st, 2013!)

]]>
http://cav2013.forsyte.at/2013/04/booking-in-sokos-hotels/feed/ 0
Extended deadlines for visa invitation letters! http://cav2013.forsyte.at/2013/04/extended-deadlines-for-visa-invitation-letters/ http://cav2013.forsyte.at/2013/04/extended-deadlines-for-visa-invitation-letters/#comments Sat, 06 Apr 2013 15:59:04 +0000 http://cav2013.forsyte.at/?p=858 The deadlines for visa invitation letters have been extended. Check the important dates!

]]>
http://cav2013.forsyte.at/2013/04/extended-deadlines-for-visa-invitation-letters/feed/ 0