ICCL Summer School 2004
Proof Theory and Automated Theorem Proving
PCC Workshop 2004
Technische Universität Dresden
June 14 - 25, 2004
We organise the following cultural events, please notify the organisers at the latest when you check in about which events you want to take part in.
Each of these events is for a number of people limited in the range 40-60, so it's better to reserve timely. Some of the costs are covered by a DAAD grant we specifically obtained for a cultural program. Persons accompanying school participants should pay in full.
Wednesday, June 16: Schloss Wackerbarth
At 15:00 we will visit one of the famous wine and sparkling wine cellars in Saxony - Schloss Wackerbarth
The tour lasts appr. 45 minutes and includes the tasting of 2 sparkling wines and 1 wine.
- Tram 6 to railway station Dresden-Neustadt at 13:36 (there is also one at 13:46);
- train S-Bahn to Radebeul West at 14:07;
- arrival at Radebeul at 14:21; walk to the wine cellar (10 min);
- start of the visit at 15:00;
- possibilities to go back: S-Bahn Radebeul West - Dresden - Neustadt: (16:05; 16:35; 17:05; 17:35; 18:05; 18:35)
Saturday, June 19: BBQ at Steffen Hölldobler's place - Kleinroersdorf
At 4:00 p.m.
For those who want to go by train to Steffen's place on Saturday, 19.06.04, will have to arrive at,
venue: Bahnhof Neustadt
time : 14:30
The train (RB 17411) that we are going to take is scheduled as follows:
Bahnhof-Neustadt 14:49 - Departure
Kleinroehrsdorf 15:24 - Arrival
which implies that at 14:40 we will proceed to the train.
At night there will be barbecue. Steffen will take care of the beverages but not of the food. So, please bring everything you need (meat, fish, vegetables, sauces, etc.) with you.
For those who want to go back to Dresden on 19.06.04 night, we'll take the last train from Kleinroehrsdorf at,
Kleinroehrsdorf 22:32 - Departure
Bahnhof-Neustadt 23:04 - Arrival
which means that we'll leave Steffen's place at 21:45.
The next train to Dresden is on Sunday, 20.06.04, in the morning, at 06:32. So, if you want to stay overnight at Steffen's place, it's no problem at all, just don't forget to bring sleeping bag and the tent with you.
Steffen's address is:
Wallrodaer Str. 13
There is the possibility of swimming in a pond, so bring your swimming suite and towel with you.
Sunday, June 20: Dresdner Philharmonie
We offer 40 tickets for a philharmonic concert at the Kulturpalast at 6 p.m.
Wolfgang Amadeus Mozart (1756 - 1791)
concert for piano and orchestra d-minor KV 466
Igor Strawinsky (1882 - 1971)
"Le Sacre du Printemps" ("Das Frühlingsopfer")
conductor Vladimir Fedoseyev
soloist Bernd Glemser, piano
Wednesday, June 23: Visit to the AMD factory
At 3:30 p.m. we will visit the AMD Saxony, one of the most influental provider of microprocessors, Flash memory devices, and silicon - based solutions for the communications and computer industries in Europe and worldwide.
- Tram 13 from Sachsenplatz to Liststrasse at 14:22 (connections are also at 14:12, 14:32);
- Bus 81 at 14:42 (the next bus is at 15:01);
- Start of the visit at 15:30;
- You are not allowed to bring electronic devices with you (notebooks, video cameras, digital cameras, ...)
- You must have your ID card
- You have to fill out a visitor request form
Thursday, June 24: Social Dinner
At 19:00, Schloss Eckberg. Drinks are on the participants; all the rest is paid for by the organisation (around 40 EUR per person).
Terrine of tomatoes and mozzarella
Pesto vinaigrette, salads
Stuffed with Roquefort cheese
Stuffed cream cheese crepes
Panna Cotta with fruits (ice cream)
For vegetarians a special menu will be offered.
How to get there
Tram 6 from Permoserstraße (destination Gorbitz) to stop Albertplatz; then tram 11 (direction Bühlau) to stop Schloss Albrechtsberg.
We also recommend you the following interesting events and places in Dresden and surroundings:
The event "Bunte Republik Neustadt"
June 18 - 20 the festival "Bunte Republik Neustadt".
You can enjoy the flashy and sloped culture of the most variegated district of Dresden.
It is recommended you always keep an identity card with you!
The festival "Elbhangfest"
June 25 - 27 the festival "Elbhangfest".
Between Loschwitz and Pillnitz, the districts with the most impressive cultural expression in Dresden, you can celebrate one of the most eminent art and cultural festivals.
The exhibition "Picasso - Miró - Tàpies"
From Monday to Suturday between 10:00 a.m. and 6:00 p.m. there is a possibility to visit the exhibition "Picasso - Miró - Tàpies". Admission - 2 EUR.
Trip to Meißen
Visit to the world famous porcelain factory, Albrechtsburg castle and the cathedral, in Meißen.
The 1000-year-old town is the historical cradle of Saxony due to its famous buildings built during different epochs of the Holy Roman Empire. The Albrechtsburg Castle is considered to be the earliest example of a residential castle in Germany, while the adjoining cathedral is an impressive jewel of pure Gothic. The famous Meißen porcelain factory presents masterpieces in `white gold´.
State Porcelain Factory Meißen
The first and thus oldest porcelain factory in Europe has been at home in Meißen since 1710. Located immediately alongside the factory itself, the porcelain museum, which comprises demonstration workshops and exhibition rooms, provides an insight into the 291 year history of Meißen porcelain. A wide range of Meißen porcelain articles, such as dinner services, figurines, gift articles, etc., can be bought in the adjacent showrooms.
The fortress, one of Arnold von Westfalen's architectural masterpieces, is classified as the first German castle. It was built in late Gothic style with some Renaissance elements. The manner of construction, including the `draped-arch windows´, was considered modern for that time.
The cathedral, situated on the citadel hill of Meißen, is a pure sacred building of the Mid-Gothic. The construction started in about 1240, the Prince's Chapel was built about 1430. The Prince's Chapel is one of the most famous burial places of the Wettin family.
Trip to Sächsische Schweiz
You can walk in the Sächsische Schweiz. Please bring trekking shoes, K-way, rucksack, snacks, etc.
Sächsische Schweiz (Saxon Switzerland)
The Elbe Sandstone Mountains lie in the far Southeast of Germany, only a few kilometers from Dresden, between the Ore Mountains (Erzgebirge) and the Lausitz Mountains. They extend from Pirna across the Czech border to Decin in Bohemia. The German part is named Saxon Switzerland. This national park and nature conservation area covers more than 368 square kilometers on both sides of the river Elbe. The river runs peacefully between tremendous mesas and bizarre crags. Excellent marked hiking and cycling trails guide people through the national park. Climbers are welcome all over the park.
The Semper opera, one of the most famous opera houses in the world.
Back to the main page