| Motivation | List of participants | Location | Travel information |
Motivation
The workshop is aimed at computer scientists who share an active interest
in proof theory, computation and complexity theory.
It focusses on recent developments in these fields, and it
strongly supports discussion of perspectives in future research.
Preliminary list of participants
Location The workshop will take place in the Fürstenzimmer in the castle of Tübingen.
Travel information We have reserved rooms at the guest house of the university, Lessingweg 3, 72076 Tübingen.
If you come by car, please consult a map.
If you come by train, you can use the bus lines 3, 4 and 17 starting from the bus station in front of the railway station. Choose 3 and 4 in direction Waldhäuser Ost, 17 in direction Klinkien. You have to leave at the station Engelfriedshalde or one earlier Im Rotbad.
If you come from Stuttgart airport, we strongly encourge you to use the Airport bus ("Airportsprinter line 828") to Tübingen (much cheaper and much much faster than any train connection), going off at Mohlstr. in Tuebingen and than, either working up the hill, or changing to on of the lines 3,4,17 at station Brunsstr. However, the Airport bus is not running on Sundays, and Saturdays only every two hours from 7:21 to 19:21.
You can check all local connections on the following internet page: www.efa-bw.de (there is a small British flag in the right lower corner if it happens that it starts up in German). Unfortunately, it does not know the street "Lessingweg" as address in the second field of the destination. You have to use the stop "Engelfriedshalde" instead.
The Logic group of the Wilhelm-Schickard-Institut of computer science, University of Tübingen
Reinhard Kahle, 7.04.02
