Agata Ciabattoni

Contact

Technische Universität Wien
Inst. of Logic & Computation
Theory and Logic Group E192-05

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

Helmut Veith Stipend for Female Master Students in CS. Deadline November 30, 2018. (In Memory of Helmut , always in our hearts)

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 (starting soon)
FWF Doctoral College Logical Methods in Computer Science, 2014-2021. ( web site )

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, 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