JELIA 2025: Best Student Paper Prize for TU Wien Researchers
Congratulations to Dmitry Rozplokhas, the VCLA co-chair Agata Ciabattoni, and Matteo Tesi on winning the Best Student Paper Prize for their paper “GL-based calculi for PCL and its deontic cousin” at JELIA 2025! The conference was held in Kutaisi, Georgia, from September 1-4, 2025.
JELIA 2025 is the 19th edition of the European Conference on Logics […]
Women in Logic Online – Talk with Nina Gierasimczuk
SHORT BIO:
Nina Gierasimczuk is an associate professor at the Department of Applied Mathematics and Computer Science at Technical University of Denmark (DTU Compute). Before, she was employed at the Institute for Logic, Language and Computation at the University of Amsterdam and the Bernoulli Institute of Mathematics, Computer Science and Artificial Intelligence at the University of […]
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 […]
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
The VCLA held an award ceremony for the VCLA International Student Awards 2024 on June 30, 2025 as part of DEON, the 17th International Conference on Deontic Logic and Normative Systems.
VCLA Co-Chair Agata Ciabattoni welcomed the guests and introduced the VCLA International Student Awards. Subsequently, the Co-Chairs of the Awards, Shqiponja Ahmetaj and Anela Lolic, […]
Talk by Malvin Gattinger: Towards Formalizing Cyclic Tableaux and Interpolation for PDL in Lean
The time has changed to 16:00 – 17:00!
Women in Logic Online – Talk with Sara Negri
SHORT BIO:
Sara Negri is a Professor (it.: Professore Ordinario) of Mathematical Logic at the University of Genova. During 2015-2019, she held the chair of Theoretical Philosophy at the Philosophy Unit of the Department of Philosophy, History and Culture of the University of Helsinki. Previously, she was a Researcher/Senior Researcher since 1996 and Logiikan Dosentti (Adjunct […]
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
On April 24, 2025, the VCLA organized a workshop for project Transformer as part of the Future Fit Festival. This workshop was designed to make the participants understand the basics of large language models (LLMs), their capabilities, limitations, and the conceptual differences between human creativity and machine learning.
First, the participants shared practical applications of large […]
