Department für Informatik
Aktuelles und Termine
- 27.05.2013, 16:15 Uhr, OFFIS F02, Internes Kolloquium Constraint-Handling mit Supportvektor-Dekodern in der verteilten Optimierung von Jörg Bremer
- 28.05.2013, 16:00 Uhr, A1 3-330, Kolloquium: MOEMS devices in next generation astronomical instrumentation Dr. Frederic Zamkotsian, France
- 29.05.2013, 13:15 Uhr, A3 2-209, Kolloquium Towards Model-Based Engineering with the Object Constraint Language Prof. Dr. Martin Gogolla, Universität Bremen
- 30.05.2013, 10:15 Uhr, A2 2-222, Kolloquium Specifying and Recognizing Model Changes based on Edit Operations von Prof. Dr. Gabriele Taentzer, Universität Marburg
- 30.05.2013, im Anschluss, A2 2-222 A tool-supported model quality assurance process based on metrics, smells, and refactorings von Dipl. Inform. Thorsten Arendt (Universität Marburg)
- 30.05.2013, 16:00 Uhr, OFFIS F02, Disputation Semi-Automatic Optimization of Hardware Architectures in Embedded Systems von Eike Thaden
- 03.05.2013, 16:15 Uhr, OFFIS F02, Kolloquium Parameterized Verification of Asynchronous Shared-Memory Systems Prof. Dr. Dr. h.c. Javier Esparza, TU München
Herzlich Willkommen!
Auf diesen Seiten stellt sich das Department für Informatik vor.
Unter Aktuelles finden Sie neben Nachrichten, Informationen zu Kolloquien, Klausuren, Veranstaltungen und Stellenauschreibungen.
Im Bereich Studium & Lehre stellen wir unsere Studiengänge vor und geben Hinweise zum Studium und zu Hilfen im Studium.Hier finden insbesondere auch Studieninteressierte Informationen.
Der Bereich Forschung gibt einen allgemeinen Überblick über die Forschungsaktivitäten im Department. Spezielle Informationen zur Forschung sind in den jeweiligen Abteilungen zu finden.
Für den schnellen Zugriff verwenden Sie bitte die Sitemap mit einer Übersicht aller Departmentseiten oder die Suche.
Informationen für:
Schneller zum Ziel:
Extern (Neues Fenster):
Extern (Neues Fenster):
