Fachbereich 16 - Elektrotechnik / Informatik
Fachgebiet Theoretische Informatik/Formale Methoden
Wilhelmshöher Allee 71-73
Tel.: +49 561 804 6261
Fax: +49 561 804 6627
How to reach us ...
Take the exit "Kassel Auestadion" on the A49. Go straight on until you reach the crossing of "Schönfelder Straße" and "Wilhelmshöher Allee" (sixth set of traffic lights). Turn right. After 100m, the university building is on your right. You can get a detailled description using a route planner like Google Maps for instance, using destination "Wilhelmshöher Allee 71, Kassel" (maps.google.de).
by public transport:
Take a train to the station "Kassel Wilhelmshöhe", not "Kassel Hauptbahnhof". Then take a tram 1 (direction "Vellmar") or 3 (direction "Ihringshäuser Straße") and get off at "Murhardstraße/Universität" (4th stop). A short-trip ticket ("Kurzstrecke") will suffice for this. The university building is located right ahead of you as you get off the tram. A detailled plan of your trip can be obtained from the webpages of Deutsche Bahn (www.bahn.de) or KVG (www.kvg.de).
How to find us inside the building at Wilhelmshöher Allee 71-73:
The Theoretical Computer Science / Formal Methods research group is located on the first floor in the wing between the two entrances clearly marked "B" and "C".