The Vienna Center for Logic and Algorithms (VCLA) will participate in the project “Transformer”, which has received approval following the FFG call Co-Creation Spaces Climate & Energy. For this project, six faculties of TU Wien will team up to offer…
Hans van Ditmarsch will be our guest on Wednesday, October 18, 2023. He has previously held talks hosted by the VCLA [One Hundred Prisoners and a Light Bulb (2021), Reasoning about Gossip (2022)]; this time, he will be talking about…
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…
On September 29, the Vienna Center for Logic and Algorithms (VCLA) together with TU Wien Informatics eduLAB held workshops on computer science for elementary school children at the University of Applied Arts Vienna as part of the European Researchers Night.…
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…
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…
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…
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…
Tobias Geibinger, an affiliated PhD student in the Doctoral College Logics for Computer Science at TU Wien (LogiCS@TUWien) that is co-funded by the EC H2020 Marie Skłodowska-Curie COFUND, received one of the ASAI Master Thesis Awards for his thesis Investigating…
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…
