Distinguished paper award at IJCAI 2025 (with E. Neufeld and R. Tulcan) Blog article at Aihub.org

Best paper award at TABLEAUX 2025 (with T. Lang and R. Ramanayake)

Best student paper award at PRIMA 2025 (with J. Dik, E. Lorini, D. Pichler and D.Rozplokhas)

Best student paper award at JELIA 2025 (with D.Rozplokhas and M. Tesi)

Running research projects:

• FWF Project: ENCORE: ExploriNg COditional Logics via PRoof ThEory. 2026-2030.
• EC-RISE Project SemPER (SEMantics, Proofs and Effective Reasoning), 2026-2030.
• WWTF ( Digital Humanism call ICT 2023) AXAIS : Acquiring and explaining norms for AI systems (with Cristinel Mateis and John Horty) 2025-2028
• Cluster of Excellence Bilateral Artificial Intelligence 2024-2029. (Call for positions here )
• FWF project Logical methods for Deontic Explanations (LoDEx) (with Leon van der Torre and Christian Strasser ) (WEAVE schema with Luxemburg and Germany) 2024-2027
• WWTF (call ICT 2022) project TAIGER : Training and Guiding AI Agents with Ethical Rules (with Ezio Bartocci and Thomas Eiter). 2023-2027.
• MSCA COFUND Doctoral Programme LogiCS@TUWien. 20 PhD positions. 2022-2027.

Current conference activities:

• OC co-chair of ICAIL 2027 (Vienna). PC member of FoSSaCS 2027, Tableaux 2027 and JURIX 2026.





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