Vampire Team
Laura Kovacs : Vienna Center for Logic and Algorithms
Actions We Take: In Research — TU Wien Informatics
Vampire Team
The Future of Computing: “Leaving the Comfort Zone” — TU Wien Informatics
Automated Reasoning in Systems Engineering | CS | Computer Science
Laura Kovacs - Amazon Science
Donia Lasinger on LinkedIn: #equality #research #tips
PDF) (Un)Solvable Loop Analysis
ViSP - Research Meets Industry
Vienna Center for Logic and Algorithms at TU Wien - VCLA | Wien
Supervisors of LogiCS@TUWien : Vienna Center for Logic and Algorithms
TUForMath -Vortrag: Michael Wallner (TU Wien)Das 1×1 des evolutionären Stammbaums - YouTube
APRe Group
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 Kovács
Laura Kovacs Awarded with Amazon Research Award — TU Wien Informatics
LogicLounge : Vienna Center for Logic and Algorithms
RIGOROUS SYSTEMS ENGINEERING
ProbInG
Vampire Team
Informatics Europe - Informatics Europe May's webinar on Automated Program Reasoning
Zahlenzauber: Ada Lovelace und ihre Nachfolgerinnen
Laura Kovács's research works | TU Wien, Vienna (TU Wien) and other places
