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 […]
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!
Discover the world of data science! Visit the joint station of the VCLA and TU Wien Informatics eduLAB at the Vienna Research Festival (Forschungsfest) at the City Hall on March 21-23 for fun activities for all age groups. Admission-free!
This is an event for the whole family, and there will be a special area dedicated to […]
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, […]
