PhD/Postdoc position, Project TAIGER: Training and Guiding AI Agents with Ethical Rules

The Trustworthy Cyber-Physical Systems Group at TU Wien is seeking a candidate for a PhD research position (four years, 30hours/week) or a postdoctoral research position (two years, 40hours/week), starting as soon as possible. The successful applicant will carry out his/her postdoc/PhD in the research area of formal methods applied to guide autonomous agents based on […]

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

VCLA participates in FFG-funded project “Transformer”

The Vienna Center for Logic and Algorithms (VCLA) will participate in the project “Transformer”, which has received approval following the FFG call Co-Creation Spaces Climate & Energy. For this project, six faculties of TU Wien will team up to offer extracurricular learning opportunities with a focus on the environment. Children and teenagers will actively participate […]

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

KR 2023: Best Paper Awards for TU Wien researchers!

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 Best Student Paper Award of the Description Logic Workshop were presented to researchers of TU […]

VCLA International Student Awards 2023 – Announcement

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 Research Award. As the decision on the Master Thesis Award was a close call, there […]

Tobias Geibinger receives an ASAI Master Thesis Award

Tobias Geibinger

Tobias Geibinger, an affiliated PhD student in the Doctoral College Logics for Computer Science at TU Wien (LogiCS@TUWien) that is co-funded by the EC H2020 Marie Skłodowska-Curie COFUND, received one of the ASAI Master Thesis Awards for his thesis Investigating Constraint Programming and Hybrid Answer-set Solving for Industrial Test Laboratory Scheduling.

In his Master’s Thesis supervised […]