The 6th International Women in Logic Workshop was a satellite event of the International Conference on Formal Structures for Computation and Deduction (FSCD 2022) and was held on July 31, 2022 as a pre-workshop of FLoC 2022 in Haifa, Israel.…
It’s ballroom dancing season again! The Vienna Ball of Sciences 2024 was held on Saturday, January 27, at Vienna’s city hall (Rathaus). As part of the many attractions of the event, ball guests were again asked to put their logic…
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: –…
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 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…
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…
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…
