Agata Ciabattoni
Address:
Favoritenstrasse 9, (Stiege 2/3.Stock)
A-1040 Wien, Austria
E-mail: agata@logic.at
Phone: +43 1 58801-18545
Fax: +43 1 58801-18597
Current research projects:
-
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. Starting soon
-
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-2020 ( web site )
- FWF START prize, Non classical proofs: Theory, Applications and Tools, 2011-2019.
- EC-RISE Syntax meet Semantics: Methods, Interactions, and Connections in Substructural logics (23 Partners, 13 Countries), 2016-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 )
Recent conference activities:
- Invited plenary speaker at: Logic Colloquium 2018, Advanced in Modal Logic (AIML 2018) and British Colloquium for Theoretical Computer Science 2018.
- Program committee member of : FoSSaCS 2019, Logic Colloquium 2019, TACL 2019, SYSMICS 2019, Women in Logic 2019, PhDs in Logic XI 2019, CSL 2018, IJCAR 2018, LATD 2018, Colloquium Logicum 2018 (CL 2018), ESCIM 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 |