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
- Workshop External and Internal Calculi for Non-Classical Logics at IJCAR 2018. Submissions open!
- 16 PhD Positions on Logical Methods in Computer Science (see here )
-
VCLA Award for Master and Bachelor theses (see here
-- deadline March 25th, 2018)
in Memory of Helmut
Current research projects:
-
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
- FWF Doctoral College Logical Methods in Computer Science, 2014-2021. ( web site )
Current 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 : CSL 2018, IJCAR 2018, LATD 2018, Colloquium Logicum 2018 (CL 2018), CSL 2017, WOLLIC 2017, Manyval 2017, Tableaux 2017, OeMG-DVM 2017 (co-chair of the section Algebra, Logic and Set Theory), TACL 2017, ICLA 2017.
- Substructural Logics: Semantics, Proof Theory and Applications Sysmics Workshop 2018 , 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 |