Running research projects:
-
WWTF " Mathematics and ... Call 2016 ", Reasoning Tools for Deontic Logic and Applications to Indian Sacred Texts 2017-2022
( web site )
-
EC-RISE Project MOSAIC (Modalities in Substructural Logics: Theory, Methods and
Applications). 2021-2024
-
VOLKSWAGEN Stiftung. Artificial Intelligence and the Society of the Future Call 2018. Planning grant.
Norm-based reasoning: from legal and moral traditions to AI systems. 2019-2020
-
FWF-ANR,
TICAMORE: Translating and dIscovering CAlculi for MOdal and RElated logics 2017-2021
( web site )
- COST action
DIGital FORensics: evidence Analysis via intelligent Systems and Practices 2018-2021.
- FWF Doctoral College
Logical Methods in Computer Science, 2014-2021.
( web site )
- Scientist in charge for the OeAD Ernst Mach Grant (Tiziano Dalmonte),
2020-2021.
Recent conference activities:
-
Program committee member of : CSL2022, TACL 2021, LORI-VIII, WIL2021, CADE 2021, IJCAR 2020, CLAR 2020, AIML 2020, ESCIM 2020, XXVII AILA,
LATD 2020.
|
|
|
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
|