Talk by Malvin Gattinger: Towards Formalizing Cyclic Tableaux and Interpolation for PDL in Lean

Towards Formalizing Cyclic Tableaux and Interpolation for PDL in Lean
Wednesday, June 11, 2025 at 16:30

Women in Logic Online – Talk with Sara Negri

Axioms as rules in intuitionistic logic
Monday, June 23, 2025 at 17:00

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