CAV 2007

Computer Aided Verification (CAV)

19th International Conference

July 3-7, 2007, Berlin, Germany


Please book your hotel rooms yourself, choosing one of the hotels in the following table. You should mention "CAV 2007" to get a room prebooked for the conference." Prices are for single rooms with shower/bath and include breakfast and taxes. Other options are available upon request at the hotels (for example, the Park Inn offers rooms with shower/bath but without breakfast at 87 Euros/night).

NamePrice p. nightRemarkBook viaRooms reserved until
Park Inn Hotel 99 EuroConference HotelTelephone: +49 30 23 89 43 33June 5
Hotel Ibis Berlin Mitte75,50 Euro 3 minutes foot walk to conference hotelTelephone: +49 30 44 33 30May 25
Motel One Berlin Mitte 65 Euro2.5 km to conference hotel, 7 minutes with subwayTelephone: +49 70 07 98 00June 3
Generator Hostel Berlin58 Euro (shower/bath in room), 50 Euro (shower/bath on floor) 3 km to conference hotel. Prices are per room with 2 beds; you may (but need not) share your room with another person, thus paying 29/25 Euro per night. Telephone: +49 30 41 72 400June 1

If you don't find a hotel in the list above, you may try the following link: Hotels in Berlin