Conference on Techniques from Logic in Mathematics
Thursday, December 7, 2023
Talk by Hans van Ditmarsch: Distributed Knowledge Revisited
Distributed Knowledge Revisited
Wednesday, October 18, 2023 at 17:00
European Researchers Night: School Workshops
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.
The workshops started with a discussion of the words informatics and algorithms. The instructor would ask […]
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 […]
MOSAIC Workshop 2023 at TU Wien
Wednesday, September 27, 2023 – Friday, September 29, 2023
European Researchers’ Night
Friday, September 29, 2023 at 09:00
VCLA Award Ceremony
Tuesday, September 26, 2023 at 14:15
LogicLounge 2023: Exploring Connections: Wittgenstein, Gödel, and ChatGPT
Exploring Connections: Wittgenstein, Gödel, and ChatGPT
Tuesday, June 6, 2023 at 16:00
Call for nominations: VCLA International Student Awards
The deadline for the Call for Nominations for the seventh edition of the VCLA International Student Awards 2023 has been extended to April 11!
The Vienna Center for Logic and Algorithms at TU Wien calls for the nomination of authors of outstanding theses and scientific works in the field of Logic and Computer Science, in the […]