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.
Vampire Team
PDF) (Un)Solvable Loop Analysis
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
This Was the 29th Epilog — TU Wien Informatics
Laura Kovács
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 Kovács's research works | TU Wien, Vienna (TU Wien) and other places
Actions We Take: In Research — TU Wien Informatics
Abstraction and Induction in Polynomial Probabilistic Programs", Laura Kovacs, TU Wien - YouTube
APRe Group
The Future of Computing: “Leaving the Comfort Zone” — TU Wien Informatics
Laura Kovacs — TU Wien Informatics
Vienna Center for Logic and Algorithms at TU Wien - VCLA | Wien
Laura Kovacs - Amazon Science
Informatics Europe - Informatics Europe May's webinar on Automated Program Reasoning
ViSP - Research Meets Industry
Vampire Team
RIGOROUS SYSTEMS ENGINEERING
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
Research Unit Formal Methods in Systems Engineering — TU Wien Informatics
