PDF) (Un)Solvable Loop Analysis
Laura Kovacs - Amazon Science
Vienna Center for Logic and Algorithms at TU Wien - VCLA - Congratulations to all the nominees of the Hedy Lamarr Prize of the City of Vienna (Stadt Wien), which is awarded
LogicLounge : Vienna Center for Logic and Algorithms
Automated Reasoning in Systems Engineering | CS | Computer Science
Abstraction and Induction in Polynomial Probabilistic Programs", Laura Kovacs, TU Wien - YouTube
Abstraction and Induction in Polynomial Probabilistic Programs", Laura Kovacs, TU Wien - YouTube
Laura Kovacs Awarded with Amazon Research Award — TU Wien Informatics
PDF) Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) Programs
Laura Kovacs : Vienna Center for Logic and Algorithms
Ada Lovelace Day : Vienna Center for Logic and Algorithms
Vampire Team
Laura Kovács
Supervisors of LogiCS@TUWien : Vienna Center for Logic and Algorithms
Ezio Bartocci - Technische Universität Wien (TU Wien)
Vampire Team
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
The Future of Computing: “Leaving the Comfort Zone” — TU Wien Informatics
ProbInG
Vienna Center for Logic and Algorithms at TU Wien - VCLA | Wien
Actions We Take: In Research — TU Wien Informatics
This Was the 29th Epilog — TU Wien Informatics
Research Unit Formal Methods in Systems Engineering — TU Wien Informatics
APRe Group
Laura Kovács's research works | TU Wien, Vienna (TU Wien) and other places
Ezio Bartocci - Vienna University of Technology (TU Wien)
Informatics Europe - Informatics Europe May's webinar on Automated Program Reasoning
