| address | University of Stuttgart
Institute for Formal Methods in Computer Science, Universitätsstraße 38 D-70569 Stuttgart Germany |
||
|---|---|---|---|
| phone | +49 711 7816-392 | ||
| fax | +49 711 7816-370 | ||
| lagally@informatik.uni-stuttgart.de | |||
| room | 2.132 | ||
| office hours | by appointment |
Professional societies
- Association for Computing Machinery
- German Chapter of the ACM
- Gesellschaft für Informatik
- Deutsche Morgenländische Gesellschaft
- Union Européenne des Arabisants et Islamisants
- Gesellschaft deutscher Naturforscher und Ärzte
Users Group
- Dante, Deutschsprachige Anwendervereinigung
e.V.
Membershipsmy private home page
- Gesellschaft der Freunde der Universität Stuttgart
- Informatik Forum Stuttgart
- Deutscher Amateur Radio Club
- Amsat Deutschland e.V.
- Laboratorium e.V.
| deutsch | home | up | previous | next | contact |