QONFEST 2020: Verifying Smart and Critical Systems

Research advances in cyber-physical systems augmented by machine learning and artificial intelligence promise to transform our world.

The Awardees of the 2020 VCLA International Student Awards

We celebrate the research capacity of undergraduate students worldwide by introducing them to the broader community in Logic and Computer Science.  

Workshop series: Diary of a computer scientist

Bringing role models to schools across Austria

Accepted papers at the AAAI 2020

10 papers accepted at the 34th AAAI Conference on Artificial Intelligence 2020

Viktoriia Korchemna awarded Helmut Veith Stipend

The 2018 Helmut Veith Stipend was presented at an award ceremony collocated with the symposium Humans & Machines,

Austrian pupils successfully set a world largest sorting network – based on CS Unplugged

With a successful world record attempt in Vienna, digital processes were translated into the analogue world, marking the kick-off of project ADA.

GROW 2019 – Workshop on Graph Classes, Optimization, and Width Parameters

Network of computer scientists and mathematicians

Security & Privacy for Blockchains and Distributed Ledger Technologies

BDLT19 as the first one in a series of International Summer Schools

Thomas Eiter and Peter Schüller lead “Artificial Intelligence for the European Union – AI4EU” at TU Wien

The pan-European project funded with €20 million connecting 79 partners from 21 countries