Helmut Veith Stipend – Deadline Nov 30!
The VCLA invites applications for the Helmut Veith Stipend from motivated and outstanding female master’s students who plan to pursue one of the programs in Computer Science at TU Wien taught in English in one of the following semesters:
– winter semester 2023/2024
– summer semester 2024
The deadline of the current call is November 30, 2023. Don’t […]
Call for Applications: 2 PhD Positions
Two PhD positions are available within (1) the Institute of Logic and Computation (Agata Ciabattoni, TU Wien, Vienna), and (2) the research group Logic in Philosophy and Artificial Intelligence (Christian Straßer, Ruhr-University Bochum).
We are seeking two exceptionally talented and motivated students. The positions are embedded in the LoDEx project (Logical Methods for Deontic Explanations), a […]
VCLA Award Ceremony: Female Computer Scientists in the Spotlight
On September 26, the Vienna Center for Logic and Algorithms (VCLA) presented the VCLA International Student Awards to the winners of 2023 at an award ceremony that was held at TU Wien. During the ceremony, the Helmut Veith Stipend was also officially awarded to the winner of 2022. For the first time since the awards’ […]
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 […]
