01.10.18
Das IFPT freut sich, Herrn M.Sc., M.Sc. Florian Kalscheuer am 01.10.2018 als neuen wissenschaftlichen Mitarbeiter begrüßen zu können.
01.10.18
Das IFPT freut sich, Herrn M.Sc. Lukas Bath am 01.02.2020 als neuen wissenschaftlichen Mitarbeiter begrüßen zu können.
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.