2nd International Conference on

RUNTIME VERIFICATION

RV 2011, September 27 - September 30, 2011

San Francisco, California

at the Historic Fairmont Hotel

Hotel Reservation

We are lucky to get a limited number of rooms in the Historic Fairmont Hotel of San Francisco.  The conference hotel is absolutely gorgeous and the hotel is giving us a special price. (Note that hotels are very expensive in this area during September.)  So book soon...

The hotel reservation cut-off date is September 6, 2011.  A block of rooms for a reduced price have been reserved with arrival September 26 and departure September 30 (note, the hotel refers to this as "through September 29" - it means departure September 30 though). These rooms can be reserved through https://resweb.passkey.com/go/runtimeverification if one stays at the hotel within this period.  If the website says rooms are not available, call +1 (800) 441-1414.  If one for some reason want to stay some days outside this period, then one has to call +1 (800) 441-1414, for example using skype. Indicate that this is the "Runtime Verification Conference". 

Reserve rooms through https://resweb.passkey.com/go/runtimeverification to get the discounted price.