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 |