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