09. Mai 2016   16:15   OFFIS, Escherweg 2, Raum F02 Linear Temporal Logic - in Theory and Industry
Abstract: Linear Temporal Logic specifications can be used for synthesis and formal verification of...
17. Mai 2016   10:15 OFFIS-Gebäude, Raum F02 Entwicklung einer auslastungsabhängigen Energieeffizienz für Rechenzentren
M i t t e i l u n g  Im Rahmen der Disputation seines Promotionsverfahrens hält Herr...
27. Mai 2016   10:30   OFFIS-Gebäude, Raum F02 Odysseus P2P: Verteilte Datenstromverarbeitung in privaten P2P-Netzwerken
M i t t e i l u n g  Im Rahmen der Disputation seines Promotionsverfahrens hält Herr Timo...
27. Mai 2016   13:30 OFFIS-Gebäude, Raum F02 Modellbasierte Planung zur Unterstützung der Gefährdungsbeurteilung maritimer Operationen
M i t t e i l u n g  Im Rahmen der Disputation seines Promotionsverfahrens hält Herr Rainer...
13. Juni 2016   10:30   OFFIS-Gebäude, Raum F02 Simulationsbasierte Energiebedarfsprognose in Seehafen-Containerterminals
M i t t e i l u n g  Im Rahmen der Disputation seines Promotionsverfahrens hält Herr Nico...

Überblick

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 Suche.

Kontakt / Dynamischer Lageplan