The TAIGER roars: three papers accepted at IJCAI

The WWTF-funded project TAIGER – Training and guiding AI agents with ethical rules – aims to introduce frameworks for the design of AI agents sensitive to ethical, legal, and social norms. Three papers written as part of this project have recently been accepted at IJCAI, the International Joint Conference on Artificial Intelligence, which will be […]

Neural meets Symbolic at NSE (Ottawa)

On May 3, 2025, VCLA co-chair Stefan Szeider gave a keynote speech at the 1st International Workshop on Neuro-Symbolic Software Engineering in Ottawa, Canada. The workshop was affiliated with ICSE, the IEEE/ACM International Conference on Software Engineering, and aimed to discuss challenges within the field of Neuro-Symbolic methods, which involved “how to reason about learning” […]

How Large Language Models work: Workshop

Thursday, April 24, 2025 at 15:00

Jugend-Videowettbewerb: Mensch und Maschine im Jahr 2035

Keine Frage: Künstliche Intelligenz wird unsere Gesellschaft nachhaltig verändern. Arbeit, Bildung, Medizin und Verkehr sind nur einige Bereiche, die davon betroffen sind. Doch welche Chancen und Risiken bringt die Technologie mit sich? Zeigt uns eure Vision vom Leben im Jahr 2035 in einem Kurzvideo (maximal 60 Sekunden)! #menschundmaschine

Die besten und kreativsten Beiträge werden mit Geld- […]

Visit us at the Vienna Research Festival!

Friday, March 21, 2025 at 14:00 on Friday, 10:00 on Sat/Sun – Sunday, March 23, 2025 at 18:00

AI made in Austria: Kick-off Meeting of the FWF-funded Cluster of Excellence “Bilateral AI”

On February 26, 2025, around 300 researchers, industry professionals, and decision makers gathered at Johannes Kepler University Linz (JKU) to discuss the project’s vision and goals. Two Vice Rectors of TU Wien, Peter Ertl (Vice Rector Research, Innovation, International Affairs) and Wolfgang Kastner (Vice Rector Digitalization and Infrastructure), attended the event, as did Gerti Kappel, […]

Women in Logic Online – Talk with Sonja Smets

Wednesday, March 19, 2025 at 17:00

Call for Nominations: VCLA International Student Awards

The deadline for submission of (self-)nominations has been extended to April 30, 2025!

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 following two categories:

Outstanding Master Thesis Award*
Outstanding Undergraduate Thesis Award (Bachelor thesis […]

Talk by Guillermo Badia: Codd’s Theorem for Databases over Semirings

Codd’s Theorem for Databases over Semirings
Thursday, February 27, 2025 at 17:00

Obituary for Anna Prianichnikova

Dr. Anna Prianichnikova, beloved coordinator of TU Wien’s computer science doctoral programs, has passed away after a short but serious illness. She dedicated her career to supporting and nurturing future PhD students through multiple prestigious doctoral programs at TU Wien.

From the first FWF Doctoral College “Logical Methods in Computer Science” to the current Marie Skłodowska-Curie […]