Women in Logic Online – Talk with Nina Gierasimczuk

Learning and Belief Revision: an Overview
Tuesday, September 16, 2025 at 17:30

IJCAI 2025 Distinguished Paper Award for TU Wien Researchers

Congratulations to Emery Neufeld, Agata Ciabattoni, and Radu Tulcan on winning the IJCAI 2025 Distinguished Paper Award for their paper “Combining MORL with Restraining Bolts to Learn Normative Behaviour”! IJCAI 2025 was held in Montreal, Canada, from August 16 to August 22, 2025.

The IJCAI Distinguished Paper Awards recognize some of the best papers presented at […]

Helmut Veith Stipend – apply now!

The VCLA invites applications for the Helmut Veith Stipend from motivated and outstanding female master’s students who plan to start one of the programs in Computer Science at TU Wien taught in English in one of the following semesters:

– winter semester 2025/2026

– summer semester 2026

– winter semester 2026/27

The deadline of the current call is November […]

Francesco Pontiggia wins Best Student Paper Award at AAMAS 2025

At AAMAS 2025, the 24th International Conference on Autonomous Agents and Multiagent Systems held in Detroit from May 19-23, 2025, LogiCS student Francesco Pontiggia was awarded the Pragnesh Jay Modi Best Student Paper Award for the paper “Decentralized Planning Using Probabilistic Hyperproperties”, which he co-authored with Filip Macák, Roman Andriushchenko, Michele Chiari, and Milan Ceska.

The […]

VCLA International Student Awards 2024 – Award Ceremony

Monday, June 30, 2025 at 17:30

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:00

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