Ezio Bartocci - Technische Universität Wien (TU Wien)
Laura Kovacs - Amazon Science
Laura Kovacs Awarded with Amazon Research Award — TU Wien Informatics
Vienna Center for Logic and Algorithms at TU Wien - VCLA - Laura Kovacs in DER STANDARD calls for getting rid of the myth that computer science is coding and programming only.
RIGOROUS SYSTEMS ENGINEERING
Laura Kovacs : Vienna Center for Logic and Algorithms
Zahlenzauber: Ada Lovelace und ihre Nachfolgerinnen
Donia Lasinger on LinkedIn: #equality #research #tips
Laura Kovacs - POPL 2022
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,
Supervisors of LogiCS@TUWien : Vienna Center for Logic and Algorithms
Ezio Bartocci - Vienna University of Technology (TU Wien)
APRe Group
Abstraction and Induction in Polynomial Probabilistic Programs", Laura Kovacs, TU Wien - YouTube
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
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
Abstraction and Induction in Polynomial Probabilistic Programs", Laura Kovacs, TU Wien - YouTube
Ada Lovelace Day : Vienna Center for Logic and Algorithms
Abstraction and Induction in Polynomial Probabilistic Programs", Laura Kovacs, TU Wien - YouTube
PDF) (Un)Solvable Loop Analysis
TUForMath -Vortrag: Michael Wallner (TU Wien)Das 1×1 des evolutionären Stammbaums - YouTube
ProbInG
Unlocking the Future: First Elementary School Informatics Program Launched — TU Wien Informatics
