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 […]

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