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.
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
Laura Kovacs - Amazon Science
Donia Lasinger on LinkedIn: #equality #research #tips
Abstraction and Induction in Polynomial Probabilistic Programs", Laura Kovacs, TU Wien - YouTube
Ezio Bartocci - Technische Universität Wien (TU Wien)
Vampire Team
Research Unit Formal Methods in Systems Engineering — TU Wien Informatics
Laura Kovács's research works | TU Wien, Vienna (TU Wien) and other places
Laura Kovacs - POPL 2022
Actions We Take: In Research — TU Wien Informatics
ProbInG
Vampire Team
Laura Kovács
Informatics Europe - Informatics Europe May's webinar on Automated Program Reasoning
This Was the 29th Epilog — TU Wien Informatics
Unlocking the Future: First Elementary School Informatics Program Launched — TU Wien Informatics
Ada Lovelace Day : Vienna Center for Logic and Algorithms
Zahlenzauber: Ada Lovelace und ihre Nachfolgerinnen
Laura Kovacs Awarded with Amazon Research Award — TU Wien Informatics
Laura Kovacs : Vienna Center for Logic and Algorithms
APRe Group
LogicLounge : Vienna Center for Logic and Algorithms
Vampire Team
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
Vienna Center for Logic and Algorithms at TU Wien - VCLA | Wien
Abstraction and Induction in Polynomial Probabilistic Programs", Laura Kovacs, TU Wien - YouTube
