ICCL Summer School 2004
Proof Theory and Automated Theorem Proving
and
PCC Workshop 2004

Technische Universität Dresden
June 14-26, 2004

Accommodations

The following hotels and apartment agencies offer accommodations to participants. In general, you should mention the magic words `Summer School at TU Dresden´ in order to have the prices shown below applied. All suggested places are conveniently connected by public transportation to the summer school and workshop venue.

It is tricky to find accommodations in Dresden at this time of the year, please reserve very well in advance. Except where indicated, availability of rooms in the following places is just a few units. You can use this map of Dresden. If you need further assistance, please contact us at PTEvent@ICCL.TU-Dresden.DE.

Welcome Tourist (email)
Meissner Landstr. 3 - 01157 Dresden
They offer rooms by privates, in pensions, and in their own apartment house, for prices ranging between 18 and 50 EUR. They might be located in any part of the town. In case you wish to share a double room and have no companion, please specify: they will assign as companion another participant to the school.
contact: Mrs. Heinzig or Mrs. Richter
tel.: +49 (351) 410 0100
fax: +49 (351) 410 0166

Pension Kaulfuß     fully booked!!!
address: Schoberstraße, 01279 Dresden
Email: rainer.kaulfuss@t-online.de
price:
18 EUR per day for a single room with breakfast

Die Boofe (email)
rooms available from 20.06. - 26.06.04, ONLY
Hechtstraße 10
01097 Dresden
Tel: +49 (351) 8013361
Fax: +49 (351) 8013362
www.boofe.de
price:
single room: 23 EUR
if you are willing to share the room: 15 EUR
breakfast: 4,50 EUR

Mrs. Bollig
tel.: +49 (351) 311 5139
fax: +49 (351) 313 9293
price:
30 EUR per day without breakfast, all apartments include cooking facilities
addresses at various locations in the city

Pension Andreas
Mendelssohnallee 40/42
01309 Dresden
Tel: +49 (351) 31577-0
Fax: +49 (351) 3157755
price: single room: 45 EUR (incl. breakfast)

ANDOR Hotel Europa (email)
rooms available from 13.06. - 18.06. and from 20.06. - 25.06. ONLY
address: Strehlener Str.20, 01069 Dresden
contact: Mrs. Straßburger
tel.: +49 (351) 4664 0
fax: +49 (351) 4664 100
price:
50 EUR per day for a single room with breakfast
65 EUR per day for a double room with breakfast

Jugendgästehaus Maternistraße
Maternistraße 22
01067 Dresden
Tel: +49 (351) 4926216
Fax: +49 (351) 4926299
price:
double room (incl. breakfast): 21 EUR
NOTE: you must share the room or pay 29 EUR

Dresden StudentHouse   fully booked!!!
Seitenstraße 2a
01097 Dresden
Tel: +49 (351) 7993025
Fax: +49 (351) 334564171
Email: info@studenthouse.de
price: double room: about 24 EUR (without breakfast)

Pension Blüher
rooms available from 20.06. - 26.06.04, ONLY
Alemannenstraße 24
01309 Dresden
Tel: +49 (351) 3360766
Fax: +49 (351) 3360769
prices:
single room: 35 EUR (incl. breakfast)
double room: 30 EUR (incl. breakfast)

AHA Hotel
Bautzner Str. 53
01099 Dresden
Tel: +49 (351) 80085-0
Fax: +49 (351) 80085-114
price:
single room: 50,00 EUR (incl. breakfast)

Villa Seraphinum
Dohnaerstr. 31
01219 Dresden
Tel: +49 (351) 427763-0
Fax: +49 (351) 8032812
price:
single room: 52 EUR (incl. breakfast)

Hotel Artushof
Fetscherstr. 30
01307 Dresden
Tel: +49 (351) 445910
Fax: +49 (351) 44591129
price:
single room: 56 EUR (incl. breakfast)
double room: 85 EUR (per room, incl. breakfast)

Alttolkewitzer Hof
rooms available from 13.06. - 18.06, ONLY
Alttolkewitz 7
01279 Dresden
Tel: +49 (351) 2510431
Fax: +49 (351) 2526504
price:
single room: 59 EUR (incl. breakfast)
double room: 73 EUR (incl. breakfast)

Hotel Smetana
Schlüterstr. 25
01277 Dresden
Tel: +49 (351) 256080
Fax: +49 (351) 2560888
price:
single room: 65 EUR (incl. breakfast)
double room: 89 EUR (incl. breakfast)

Hotel Ingeburg
Dammweg 16
01097 Dresden
Tel:  +49 (351) 8091200
Fax:  +49 (351) 8091199
email: Hotel@ingeburg.de
price:
single room: ca. 54 EUR (incl. breakfast)

Public Transports

Buses and trams run frequently. There are ticket machines at most bus/tram stations. Use the input button `Erwachsener´ for adult tickets. In general, ticket machines give change, also for bills of 5, 10 or 20 EUR.

You have to stamp your ticket after entering the first bus/tram.

`Einzelfahrt Preisstufe 1´ (1.60 EUR).
This ticket is also available at the bus driver and at machines located at the end of the first carriage in trams. It is valid on all buses, trams and suburban trains for one hour.

`4er Karte Preisstufe 1-4´ (6.00 EUR).
This ticket consists of four tickets `Einzelfahrt Preisstufe 1´.

`Tageskarte´ (4 EUR)
This ticket allows you to use any bus, tram and suburban train inside Dresden for one day.

`Wochenkarte Preisstufe A1´ (15.00 EUR)
This ticket allows you to use any bus, tram or suburban train inside Dresden for one week.

Click here for city maps and more information.

Back to the main page

19.4.2004Mariana Stantchevaemail