am Montag, 23. Mai 2011, 17:00 Uhr, Turing-Hörsaal
Prof. Dr. Christoph Scholl (Universität Freiburg)
Verifikation Hybrider Systeme mit Symbolischen Methoden
Mehr
am Montag, 09. Mai 2011, 17:00 Uhr, Turing-Hörsaal
Prof. Dr.-Ing. Reinhold E. Achatz (Vorstand Forschung der Siemens AG):
Entwicklung komplexer Software-Systeme mit Beispielen aus der industriellen Praxis
Mehr
Studierende und Doktoranden aufgepasst: Für Studien- und Forschungsaufenthalte oder Praktika in Indien gibt es bei der Uni umfassende Stipendien. Bewerbungen sind jederzeit möglich.
Mehr
Am 1. April 2011 übernahm Prof. Dr. Björn Scheuermann die Leitung der Arbeitsgruppe für Telematik am Lehrstuhl für Informatik VII (Robotik und Telematik).
Mehr
