Contact

Address

University of Kassel
Faculty 16 - Electrical Engineering / Computer Science
Department of Theoretical Computer Science/Formal Methods
Wilhelmshöher Allee 71-73
34121 Kassel
Tel.: +49 561 804 6261

You can reach us ...

by car:

On the A49, take the "Kassel Auestadion" exit. Follow the road until the junction "Schönfelder Straße" and "Wilhelmshöher Allee" (at the sixth set of traffic lights). Turn right here onto "Wilhelmshöher Allee". After 100m you will see the university buildings on the right-hand side. You can get exact directions on route planners such as Google Maps by entering "Wilhelmshöher Allee 71, Kassel" as your destination(maps.google.de).

By public transportation:

Take the train to the station"Kassel Wilhelmshöhe", not "Kassel Hauptbahnhof". Take streetcar 1 (direction "Vellmar") or 3 (direction "Ihringshäuser Straße") and get off at "Murhardstraße/Universität" (4th stop). A "Kurzstrecke" ticket is sufficient. The university is on the right-hand side when you look in the direction of travel of the streetcar. Detailed information can be found on the website of Deutsche Bahn(www.bahn.de) and KVG(www.kvg.de).

How to find us in the building at Wilhelmshöher Allee 71-73:

The Theoretical Computer Science/Formal Methods research group is located on the second floor, in the wing between the two entrances "B" and "C".