Contact Information
| Prof. Dr. Stephan Kreutzer | |
| Telephone: | |
| +49 30 314 29088 | |
| +49 30 314 29089 (Secretary) | |
| +49 30 314 29037 (Fax) | |
| EMail: | |
| stephan.kreutzer@tu-berlin.de | |
| Office hour: | |
| Wednesday, 9 - 10 am or by appointment | |
| Office address: | |
| Room: TEL 711 a | |
| Ernst-Reuter-Platz 7 | |
| 10587 Berlin | |
| Postal address: | |
| Technische Universität Berlin | |
| Institut für Softwaretechnik und Theoretische Informatik | |
| Lehrstuhl für Logik und Semantik | |
| Sekr TEL 7-3 | |
| Ernst-Reuter-Platz 7 | |
| 10587 Berlin, Germany | |