Unilogo
Institute for Logic, Complexity und Deduktion Systems (ILKD)
Computer Science Department, University of Karlsruhe

Contact
 
[End of Page]
[ILKD Menzel Home]ILKD Menzel Home
[Address]Address
[Directions]Directions
Address
[Top of Page]

Postal Address

Visitors

Communication Services

Postfach 6980
76128 Karlsruhe
Germany

Informatics Main Building
(Bld. 50.34)
Am Fasanengarten 5, Karlsruhe

Fon: +49-721-608-3919
Fax: +49-721-608-4211
Email: heck@ira.uka.de

Directions
[Top of Page]

Train

Autobahn

International Airport

Station Durlacher Tor or
Karlsruhe Hbf.
[Timetable]

Autobahn BAB A5
Exit Karlsruhe Durlach
Direction City (Stadtmitte)
[City Map]

Frankfurt Main (FRA)
Stuttgart
Basel (Switzerland)

[ILKD Menzel Home]ILKD Menzel Home
[Top of Page]
 
German [ Frames ] [ ILKD Wagner ] [ ILKD Schmitt ] [ KeY ] [ Computer Science ] [ University ]
ILKD Menzel