Vienna Center for Logic and Algorithms at TU Wien - VCLA | Wien
Laura Kovacs — TU Wien Informatics
RIGOROUS SYSTEMS ENGINEERING
Laura Kovács
Laura Kovács's research works | TU Wien, Vienna (TU Wien) and other places
Zahlenzauber: Ada Lovelace und ihre Nachfolgerinnen
Ada Lovelace Day : Vienna Center for Logic and Algorithms
Laura Kovács's research works | TU Wien, Vienna (TU Wien) and other places
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,
Unlocking the Future: First Elementary School Informatics Program Launched — TU Wien Informatics
APRe Group
PDF) Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) Programs
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
Abstraction and Induction in Polynomial Probabilistic Programs", Laura Kovacs, TU Wien - YouTube
Ezio Bartocci - Vienna University of Technology (TU Wien)
Ezio Bartocci - Technische Universität Wien (TU Wien)
LogicLounge : Vienna Center for Logic and Algorithms
TUForMath -Vortrag: Michael Wallner (TU Wien)Das 1×1 des evolutionären Stammbaums - YouTube
Abstraction and Induction in Polynomial Probabilistic Programs", Laura Kovacs, TU Wien - YouTube
Automated Reasoning in Systems Engineering | CS | Computer Science
Laura Kovacs - Amazon Science
The Future of Computing: “Leaving the Comfort Zone” — TU Wien Informatics
Supervisors of LogiCS@TUWien : 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
Vampire Team
