ICCL Summer School 2004
Proof Theory and Automated Theorem Proving

PCC Workshop 2004
Technische Universität Dresden
June 14 - 25, 2004

Cultural Program

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.


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:

Gut Heinrichshof
Wallrodaer Str. 13
01900 Kleinroehrsdorf

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.


Please note:

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

Chicken breast
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.

Albrechtsburg Castle

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.

Semper Opera

The Semper opera, one of the most famous opera houses in the world.

Back to the main page

7.6.2004Mariana Stantchevaemail