Call for Applications: Helmut Veith Stipend for Women in Computer Science

Deadline: November 30, 2021:  Motivated female students in the field of computer science (CS)

Obituary Edmund M. Clarke

We are deeply saddened by the loss of Edmund M. Clarke,
who passed away in December 2020.

CALL FOR NOMINATIONS: VCLA International Student Awards 2021 for Master and Bachelor Theses

Eligible degrees conferred between November 15th, 2019 and December 31st, 2020

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.

4th Helmut Veith Stipend recipient announced

It is our pleasure to announce Daniela Martinez Duarte as the fourth 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