Helmut Veith Stipend: Announcement
It is our pleasure to announce Alina Ehart as the seventh recipient of the Helmut Veith Stipend for Female Master’s Students in Computer Science, submission period November 2022.
Alina has a Bachelor’s degree in Applied Computer Science with a focus on cyber security from Alpen-Adria-Universität Klagenfurt. Due to her previous studies of information technology at HTBLuVA […]
KR 2023: Best Paper Awards for TU Wien researchers!
The 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) was held in Rhodes, Greece, from Sep 2-8. During the conference, the KR’23 Ray Reiter Best Paper Prize, the Marco Cadoli Distinguished Student Paper Award, and the Best Student Paper Award of the Description Logic Workshop were presented to researchers of TU […]
VCLA International Student Awards 2023 – Announcement
The 7th edition of the VCLA International Student Awards 2023 was concluded in June. Based on the international call for (self-)nominations, the award committee consisting of seventeen internationally recognized researchers announced one Outstanding Master Thesis Award and one Outstanding Undergraduate Research Award. As the decision on the Master Thesis Award was a close call, there […]
LogicLounge 2023: What is the nature of ChatGPT?
At LogicLounge 2023, renowned computer scientists Carla Gomes and Bart Selman from Cornell University (Ithaca, NY) explored the connections between Wittgenstein, Gödel, and ChatGPT. The discussion, which was held at a Viennese café on June 6, attracted great interest and led to a lively exchange between researchers and laymen from different fields.
Sarah Kriesche (moderator), Bart […]
State of AI in Austria – Triumph or Tragedy?
On June 14, 2023, the Austrian Society for Artificial Intelligence (ASAI) organized a press conference to discuss the state of AI in Austria. VCLA co-chair Agata Ciabattoni and board member Thomas Eiter were among the leading Austrian researchers who offered their view on the current state of affairs.
Christoph Lampert, Günter Klambauer, Thomas Eiter, […]
Vienna Ball of Sciences 2023
Saturday, January 28, 2023 at 20:00
ILOAF: Dov Gabbay Prize for Logic and Foundations
On the occasion of Professor Dov Gabbay’s 77th birthday, the Logic and Foundations Initiative (ILOAF) has launched the Dov Gabbay Prize for Logic and Foundations. Dov Gabbay is known in particular for his creation of dozens of specialized Logic Handbooks.
Call for Nominations:
Nominate an outstanding researcher in Logic and Foundations, including Mathematical, Philosophical, and Computational […]
Computer Science: A Problem Solver’s Paradise
Viktoriia Korchemna
Viktoriia Korchemna, a prae-doc researcher at the Institute of Logic and Computation of TU Wien and winner of the 2018 Helmut Veith Stipend, provides an insight into her life as a young computer scientist.
Studying Logic and Computation in Austria wasn’t Viktoriias plan, “it just happened”. When finishing her bachelor studies of theoretical […]
VCLA celebrates its 10-year-anniversary!
The Vienna Center for Logic and Algorithms (VCLA) was founded in September 2011 and officially opened in January 2012. During the international symposium on Mathematical Foundations of Computer Science (MFCS) in August 2022, the center seized the opportunity to celebrate its 10-year-anniversary with the audience of the conference as well as VCLA board members.
The celebration […]
Hackathon #4GoodAI 2022 Winners Announced!
The winners of the 4th edition of our popular “Hackathon #4GoodAI” have been announced on ada.wien.
From 2nd to 16th March pupils from all over Austria participated in creating a chatbot with Scratch (or a different programming language) on the topic of “Fake News”. The chatbot should help family and friends to recognize and expose fake […]
