Summer School and Workshop on
Proof Theory, Computation and Complexity

Technische Universität Dresden
June 23-July 4, 2003

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-80, 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 25: Dinner

At 19:00, Schloss Eckberg. Drinks, except for mineral water, are on the participants; all the rest is paid for by the organisation (around 60 EUR per person).


Zucchini rolls stuffed with herb cream cheese;
cold soup of cucumbers with shrimps;
breast of guinea fowl, spinach noodles, chanterelles;
rhubarb with red wine 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.

Saturday, June 28: Trip to Meißen

Visit to the world famous porcelain factory, Albrechtsburg castle and the cathedral, in Meißen. Except where indicated, tickets are paid for by the organisation (porcelain factory: 7.50 EUR, castle: 5 EUR).


Possibilities to go back to Dresden: from railway station Triebischtal (10 min from the porcelain factory): 17:48, 18:18, 18:48, 19:18, 19:48.


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.

Sunday, June 29: Trip to Sächsische Schweiz

We have a 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.

Wednesday, July 2: Opera

We offer 80 tickets for `The Rake's Progress´ by Igor Strawinsky, in English, at the Semperoper, one of the most famous opera houses in the world.

Thursday, July 3: Trip and Dinner, Radeberg

Visit and dinner to the brewery of Radeberg. The school offers the dinner.


Possible connections for getting back to Dresden:

Back to the main page

5.7.2003Alessio Guglielmiemail