28.09.18
A Quantitative Metric Temporal Logic for Execution-Time Constrained Verification
27.09.18
Information Governance algorithmischer Entscheidungssysteme
11.09.18
Der Startschuss für das vom BMWi geförderte Projekt "MICHEL" fiel am 11. September 2018
04.09.18
15th International Conference on Quantitative Evaluation of SysTems
28.08.18
16th Annual Conference on Privacy, Security and Trust
08.08.18
Summer School on Types for Programs and Verification
10.07.18
Ferienprogramm für Schüler bei STS
06.07.18
Das Sommerfest an und in der IFPT-Halle fand bei strahlendem Sonnenschein statt und dank der großartigen Vorrundenleistung der deutschen Nationalelf musste auch nicht nebenbei Fußball geguckt werden. Neben reichlich Grillgut fand sich auf dem Büffet auch eine große Auswahl selbst gemachter Salate, Snacks und Kuchen. Der Abend war lang und eine würdige Konkurrenz zur gleichzeitigen Absolventenfeier.
18.06.18
Wegen eines dringenden Firmware-Updates auf unserem Internet-Router wird esam 23. Juni 2018  in der Zeit von 9:00 - 10:00 Uhrzu einer Unterbrechung der Internet-Anbindung kommen. Die geplante Unterbrechung beträgt etwa 20 Minuten.Betroffen sind alle Dienste der TUHH, die über das Internet erreichbar sind oder auf das Internet zugreifen.
placeholder
18.06.18
Wegen eines dringenden Firmware-Updates auf unserem Internet-Router wird esam 23. Juni 2018  in der Zeit von 9:00 - 10:00 Uhrzu einer Unterbrechung der Internet-Anbindung kommen. Die geplante Unterbrechung beträgt etwa 20 Minuten.Betroffen sind alle Dienste der TUHH, die über das Internet erreichbar sind oder auf das Internet zugreifen.
placeholder