The winners of the Alonzo Church Award 2021: Georg Gottlob, Christoph Koch, Reinhard Pichler, Klaus U. Schulz and Luc Segoufin Alonzo Church Award 2021 Winners The ACM Special Interest Group for Logic and Computation (SIGLOG), the European Association for Theoretical Computer…
We are deeply saddened by the loss of Edmund M. Clarke, who passed away in December 2020.
Deadline Extension: May 7, 2021 (anywhere on Earth)
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,
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.
It is our pleasure to announce Daniela Martinez Duarte as the fourth recipient of the Helmut Veith Stipend
Research advances in cyber-physical systems augmented by machine learning and artificial intelligence promise to transform our world.
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…
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…
