Helmut Veith Stipend

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 2024/2025

– summer semester 2025

The deadline of the current call is November 30, 2024.

For more […]

LogiCS@TUWien – Industry Day

Friday, January 19, 2024 at 08:30

Vienna Ball of Sciences 2024

Saturday, January 27, 2024 at 20:00

Helmut Veith Lecture Hall – Dedication Ceremony

Friday, December 15, 2023 at 14:00

World Logic Day Lecture: Adnan Darwiche

Beyond truth and falsehood: Logic as a Calculus of Events
Friday, January 12, 2024 at 17:00

Artificial Intelligence: Ethics Lessons for AI Systems

This is a translation of an article that was published in the Austrian newspaper Kurier on November 25, 2023.

 

By now, robots and similar systems are making their own decisions, but which ones are these?

“As an AI model, I have no personal opinion, conviction or emotions,” writes a well-known AI-based text program in response to the […]

Talk by Petra Mutzel: Algorithmic Data Science on Graphs

Algorithmic Data Science on Graphs
Thursday, November 16, 2023 at 13:15

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