NACHRICHTEN

"Best Paper Award" für das SecInt Doktoratskolleg

Best paper award

Wir sind stolz, bekannt zu geben, dass die Mitglieder des SecInt-Doktoratskollegs, öffnet eine externe URL in einem neuen Fenster: Andrey Kofnov, Marcel Moosbrugger, Ezio Bartocci und Efstathia Bura auf der 19th International Conference on Quantitative Evaluation of Systems (QEST 2022) in Warschau (Polen) mit dem Best Paper Award (1000 Euro, ausgelobt von Springer) für ihr Paper ausgezeichnet wurden:

"Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments" (https://link.springer.com/chapter/10.1007/978-3-031-16336-4_1, öffnet eine externe URL in einem neuen Fenster)

HERZLICHEN GLÜCKWUNSCH!


Für weitere Informationen besuchen Sie bitte unsere englische Seite.

 

NACHRICTHEN DOCTORAL SCHOOL

Ankündigung

Die TUW-Doctoral School möchte alle TUW-Mitarbeiter darüber informieren, dass die nächste Doktoratskolleg-Ausschreibung bis auf weiters verschoben wurde.