Agata Ciabattoni

Helmut Veith Stipend for Women in Computer Science 2019 (In Memory of Helmut , always in our hearts)
Deadline November 30, 2019

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
WWTF " Mathematics and ... Call 2016 ", Reasoning Tools for Deontic Logic and Applications to Indian Sacred Texts 2017-2021 ( web site )
FWF-ANR, TICAMORE: Translating and dIscovering CAlculi for MOdal and RElated logics 2017-2021 ( web site )
FWF START prize, Non classical proofs: Theory, Applications and Tools, 2011-2019.
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 )

Program committee member of : IJCAR 2020, CLAR 2020, AIML 2020, LATD 2020, FoSSaCS 2019, Logic Colloquium 2019, TACL 2019, SYSMICS 2019, Tableaux 2019, Women in Logic 2019, PhDs in Logic XI 2019, CSL 2018, IJCAR 2018, LATD 2018, Colloquium Logicum 2018 (CL 2018), ESCIM 2018.
Invited plenary speaker at: Logic Colloquium 2018, Advanced in Modal Logic (AIML 2018) and British Colloquium for Theoretical Computer Science 2018.
Brainstorming workshop Deontic Reasoning: From Ancient Texts to Artificial Intelligence , June 11-13, 2018, Vienna
Workshop External and Internal Calculi for Non-Classical Logics at IJCAR, July 19 2018, Oxford (UK).
Workshop Substructural Logics: Semantics, Proof Theory and Applications , Vienna, 26-28 February 2018


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

Contact