The project AXAIS: Acquiring and explaining norms for AI systems (with Cristinel Mateis and John Horty) has been funded by WWTF under the Digital Humanism call 2023.

The Cluster of Excellence Bilateral Artificial Intelligence has been funded. Starting date: October 1rst, 2024.

Running research projects:

• FWF project Logical methods for Deontic Explanations (LoDEx) (with Leon van der Torre and Christian Strasser ) (WEAVE schema with Luxemburg and Germany) 2024-2026
• WWTF (call ICT 2022) project TAIGER: Training and Guiding AI Agents with Ethical Rules (with Ezio Bartocci and Thomas Eiter). 2023-2026.
• Scientist in charge for the Marie Curie Individual fellowship of Matteo Tesi 2024-2026
• EC-RISE Project MOSAIC (Modalities in Substructural Logics: Theory, Methods and Applications). 2021-2025
• MSCA COFUND Doctoral Programme LogiCS@TUWien. 20 PhD positions. 2022-2027.

Current conference activities:

• PC co-chair of AIML 2024 (Prague)
• PC member of KR 2024, NMR 2024, LPAR 2024, IJCAR 2024, TACL 2024





Opening of the Vienna Summer of Logic 2014 (Eiter, Veith, Ciabattoni, Scott, Papadimitriu, Vardi, Szeider, Gottlob)	Logic -- the most important science on earth (Cover story of "Profil ", June 2014)	Austria's news weekly "Profil ", December 2015