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,
Mihaela Rozman
Georg Gottlob
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.
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.
Postdoc Position in Sample complexity or Machine learning at TU Wien
A Postdoc position is available at the Algorithms and Complexity Group at TU Wien, Vienna, Austria. The position is part of the prestigious START project “Parameterized Analysis in Artificial Intelligence” of the Austrian Science Fund (FWF), with the aim of…
PhD Position in Parameterized Complexity
A PhD position is available at the Algorithms and Complexity Group at TU Wien, Vienna, Austria. The position is part of the prestigious START project “Parameterized Analysis in Artificial Intelligence” of the Austrian Science Fund (FWF), with the aim of…
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.
Fifth edition of the VCLA International Student Awards 2020
The highly successful fifth edition of the VCLA International Student Awards 2020 was concluded in July 2020. Out of 44 submissions in total, one was selected for the Outstanding Master Thesis Award and one for the Outstanding Undergraduate Research Award…
Public LogicLounge with Cory Doctorow
The “surveillance capitalism” thesis holds that companies spy because data lets them conduct devastatingly effective influence operations while racing past regulators who might otherwise rein in their operations. Cory Doctorow believes this gives undue credence to Big Tech’s sales literature…