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.
Helmut Veith Stipend recipient announced
It is our pleasure to announce the recipient of the Helmut Veith Stipend
Week for Good Artificial Intelligence #4GoodAI
Monday, October 12, 2020 – Friday, October 16, 2020
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
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
Latest Talks
(» further talks)Georg Gottlob
Knowledge Processing, Logic, and the Future of AI
Thursday, January 14, 2021 at 17:00
Public LogicLounge with Cory Doctorow
Working as Intended — Surveillance Capitalism is not a Rogue Capitalism
Tuesday, July 21, 2020
Joost-Pieter Katoen
Probabilistic Programming: Machine Learning for the Masses?
Wednesday, December 4, 2019 at 10:30 s.t.
Ringo Baumann
An Abstract, Logical Approach to Characterizing Strong Equivalence in Non-monotonic Knowledge Representation Formalisms
Thursday, November 28, 2019 at 12:00 s.t.
Dominique Larchey-Wendling
Hilbert’s Tenth Problem in Coq
Wednesday, November 27, 2019 at 16:30 s.t.
