Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus

 FB Inf

Judith Stengel

Address:

Judith Stengel

Sekretärin der AG Formale Methoden und Deduktion
Technische Universität Kaiserslautern
Fachbereich Informatik
Postfach 3049
67653 Kaiserslautern, Germany

Tel: ++49 631 205 2646
Fax: ++49 631 205 2156

Email: stengel@informatik.uni-kl.de

Gebäude 34, 417
Das Sekretariat ist Montags bis Donnerstags von 9:00 bis 12:00 Uhr geöffnet.
Impressum AG Formale Methoden und Deduktion Fachbereich Informatik Technische Universität Kaiserslautern Valid HTML 4.01!
Letzte Änderung: Wednesday, 26-Oct-05 08:59:21 GMT
www-aven@informatik.uni-kl.de