HOMECONTACT
 
NEWS
OVERVIEW
CALL FOR PROPOSALS
PROGRAM PROPOSAL
PROJECTS
EVENTS
SCIENTIFIC BOARD
LITERATURE
INTERNAL SPP 1183
TOOLS
CONTACTCO-ORDINATOR

Prof. Dr. Hartmut Schmeck
Universität Karlsruhe (TH)
Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
76128 Karlsruhe

phone +49 721 608 42 42
fax +49 721 608 65 81
email

for visitors
Institut AIFB
Allianzgebäude am Kronenplatz (Geb. 05.20)
Kaiserstr. 89
76133 Karlsruhe
UNI KA THIMPRINT© AIFB DFG
Last update on: 2013-01-21 PRINTPRINTTOP