Kick-off Meeting: FFG-funded project “Transformer”

The kick-off meeting of the FFG-funded project “Transformer” (call Co-Creation Spaces Climate & Energy) was held on February 29, 2024. The Vienna Center for Logic and Algorithms (VCLA) is proud to participate in this project, in which six faculties of TU Wien are teaming up to offer extracurricular learning opportunities with a focus on the […]

Talk by Emiliano Lorini: A Rule-based Modal View of Causal Reasoning

SHORT BIO:

Emiliano Lorini is a senior researcher (“directeur de recherche”) at the Centre National de la Recherche Scientifique (CNRS), co-head of the LILaC team (Logic, interaction, language and computation) at the Institut de Recherche en Informatique de Toulouse (IRIT).

The general aim of his research is to develop formal models of interaction between cognitive agents. He has worked […]

Women in Logic Online (seminar series)

Short Bio:

Valeria de Paiva is a mathematician, logician, and AI scientist, working on natural language processing, logical inference, and all kinds of semantics, especially Dialectica categories. Before Topos, Valeria worked at top industry NLP labs, including Samsung Research America, Nuance, Deem, Cuil, and for many years at Xerox PARC. Before that, she was a professor […]

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

On January 19, 2024, we hosted an “Industry Day” for our doctoral college LogiCS@TUWien so that our PhD students could discuss their projects with external guests.

Event Program

8.30 – 9.00
Welcome coffee / registration

9.00 – 9.30
Stefan Szeider (Chair & Program Coordinator LogiCS@TUWien)

9.30 – 9.45
Herwig Schreiner (Siemens)

9.45 – 10.00
Birgit Hofreiter (TU Wien Innovation […]

Vienna Ball of Sciences 2024

It’s ballroom dancing season again! The Vienna Ball of Sciences 2024 was held on Saturday, January 27, at Vienna’s city hall (Rathaus). As part of the many attractions of the event, ball guests were again asked to put their logic skills to the test! As the topic of the ball was the climate crisis, this […]

World Logic Day Lecture: Adnan Darwiche

On 12 January 2024, we invited you to celebrate the international World Logic Day virtually with the Vienna Center for Logic and Algorithms (VCLA) at TU Wien and the Logic community from the city of Kurt Gödel, Ludwig Wittgenstein, and the Vienna Circle. Actually, World Logic Day is celebrated on 14 January every year, but as […]

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

Petra Mutzel is professor of Computational Analytics at the University of Bonn, where she is also the scientific director of the High Performance Computing and Analytics Lab at the Digital Science Center.

She received her Ph.D. in Computer Science at the University of Cologne in 1994, followed by a PostDoc position at the Max Planck Institute […]

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