Our paper Streamlining Input/Output Logics with Sequent Calculi with Dmitry Rozplokhas won the Ray Reiter Best Paper Prize at the conference KR 2023 .

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.
• 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.
• Scientist in charge for the FWF LisaMeitner project of Xavier Parent 2021-2024

Current conference activities:

• PC co-chair of AIML 2024 (Prague)
• PC co-chair of LATD 2023 (Tblisi, Georgia)
• PC co-chair and Main Organizer of the MOSAIC meeting (Vienna, September 2023)
• PC member of KR 2024, NMR 2024, LPAR 2024, IJCAR 2024, TACL 2024





Opening of the Vienna Summer of Logic (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