15 Accepted papers at the AAAI 2021 – Conference on Artificial Intelligence

15 research papers from our research groups have been accepted in the main technical track of the 35th AAAI Conference on Artificial Intelligence AAAI 2021,

Vienna World Logic Day Lecture

On 14 January 2021, you are cordially invited to celebrate the World Logic Day digitally with the community from the city of Kurt Gödel, Ludwig Wittgenstein, and the Vienna Circle.

Third ERC Grant for Laura Kovács

High-gain/high-risk project ARTIST aims to prevent software errors by turning the first-order theorem proving into an alternative, yet powerful approach to ensuring software reliability.

Helmut Veith Stipend recipient (2019 call) announced

It is our pleasure to announce the recipient of the Helmut Veith Stipend

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

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