PDF) (Un)Solvable Loop Analysis
Vampire Team
APRe Group
Vienna Center for Logic and Algorithms at TU Wien - VCLA | Wien
Supervisors of LogiCS@TUWien : Vienna Center for Logic and Algorithms
Vampire Team
PDF) Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) Programs
TUForMath -Vortrag: Michael Wallner (TU Wien)Das 1×1 des evolutionären Stammbaums - YouTube
VCLA at TU Wien on X: "We will start with Pamina Georgiou, PreDoc Researcher in our research unit Formal Methods in Systems Engineering. Read her interview and find out what Rory Gilmore,
Ada Lovelace Day : Vienna Center for Logic and Algorithms
Vienna Center for Logic and Algorithms at TU Wien - VCLA - Congratulations to Marcel Moosbrugger (FORSYTE research group) awarded with the Distinguished Young Alumn Award of TU Wien Informatics for his
Laura Kovacs : Vienna Center for Logic and Algorithms
Zahlenzauber: Ada Lovelace und ihre Nachfolgerinnen
Ezio Bartocci - Vienna University of Technology (TU Wien)
Research Unit Formal Methods in Systems Engineering — TU Wien Informatics
Laura Kovács's research works | TU Wien, Vienna (TU Wien) and other places
Abstraction and Induction in Polynomial Probabilistic Programs", Laura Kovacs, TU Wien - YouTube
Informatics Europe - Informatics Europe May's webinar on Automated Program Reasoning
LogicLounge : Vienna Center for Logic and Algorithms
Abstraction and Induction in Polynomial Probabilistic Programs", Laura Kovacs, TU Wien - YouTube
ViSP - Research Meets Industry
Laura Kovacs — TU Wien Informatics
Donia Lasinger on LinkedIn: #equality #research #tips
