2020W

• Bachelor Thesis for Informatics and Business Informatics / PR / 185.A26
• Introduction to Logical Methods in Computer Science / VO / 184.766
• Logic and Computability / VU / 185.A45
• Project in Computer Science 1 / PR / 185.A36
• Project in Computer Science 2 / PR / 185.A37
• Project in Software Engineering & Internet Computing / PR / 185.A38
• Research Seminar for Master and PhD students / SE / 185.A39
• Research Seminar LogiCS / SE / 184.767
• Scientific Research and Writing / SE / 193.052
• Theoretical Computer Science and Logics / VU / 185.278

• Norm-based reasoning: from legal and moral traditions to AI systems
  2019 – 2020 / Norms
• Reasoning Tools for Deontic Logic and Applications to Indian Sacred Texts
  2017 – 2022 / Vienna Science and Technology Fund (WWFT)
• TICAMORE: Translating and discovering calculi for modal and related logics
  2017 – 2021 / Austrian Science Fund (FWF)
• Syntax meet Semantics: Methods, Interactions, and Connections in Substructural logics
  2016 – 2019 / European Commission
• Proof-theoretic Analysis of Modal Logics
  2015 – 2017 / European Commission
• A novel decision support system for training and diagnosis in dermatology
  2013 – 2015 / Austrian Research Promotion Agency (FFG)
• Generalizing Truth-Functionality
  2013 – 2017 / European Commission
• Nonclassical Proofs: Theory, Applications and Tools
  2011 – 2019 / Austrian Science Fund (FWF)
• Fuzzy Logic: from Mathematics to medical Applications
  2008 – 2012 / Vienna Science and Technology Fund (WWFT)
• semantic characterization of cut-elimination
  2006 – 2009 / Austrian Science Fund (FWF)
• Automated Analysis of Mathematical Proofs
  2005 – 2007 / Austrian Science Fund (FWF)
• Decision Procedures and Model Building for Fuzzy Logics
  2003 – 2005 / FWF, Der Wissenschaftsfonds

2019

• Intermediate Logic Proofs as Concurrent Programs / A. Ciabattoni, F. Genco, F. Aschieri / Talk: Conference: Syntax meets Semantics (SYSMICS) 2019, Amsterdam; 2019-01-21 - 2019-01-25
• Bounded sequent calculi for non-classical logics via hypersequents / A. Ciabattoni, R. Ramanayake, T Lang / Talk: TABLEAUX 2019, London, UK; 2019-09-03 - 2019-09-05; in: "Automated Reasoning with Analytic Tableaux and Related Methods. 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings", Springer, LNCS, vol.11714 (2019), ISBN: 978-3-030-29025-2; 94 - 110
• Evaluating Networks of Arguments: A Case Study in Mīmāṃsā Dialectics. / K. van Berkel, A. Ciabattoni et al. / Talk: 7th Conference on Logic, Rationality and Interaction (LORI-VII, 2019), Chongqing, China; 2019-10-18 - 2019-10-21; in: "Logic, Rationality, and Interaction. LORI 2019. Lecture Notes in Computer Science", (2019), ISBN: 978-3-662-60291-1; 355 - 369

2018

• Analytic Calculi for substructural logics: Theory and applications / A. Ciabattoni / Talk: Logic Colloquium 2018, Udine (invited); 2018-06-23 - 2018-06-28
• Deontic Reasoning: From Ancient Texts to Artificial Intelligence / A. Ciabattoni / Talk: TICAMORE Meeting/Workshop 3, Nancy; 2018-06-06 - 2018-06-08
• Intermediate logics: from hypersequents to parallel computation / A. Ciabattoni / Talk: British Colloquium for Theoretical Computer Science 2018, London (invited); 2018-03-26 - 2018-03-28
• Logic-Based Concurrent Calculi / F. Aschieri, A. Ciabattoni, F. Genco / Talk: Substructural logics: semantics, proof theory, and applications, SYSMICS 2018, Wien; 2018-02-26 - 2018-02-28
• Substructural logics: semantics, proof theory, and applications. Report on the second SYSMICS workshop / A. Ciabattoni, F. Genco, R. Ramanayake / ACM SIGLOG News, 5 (2018), 2; 58 - 60
• Hypersequents and Systems of Rules: Embeddings and Applications. / A. Ciabattoni, F. Genco / ACM Transactions on Computational Logic, 19 (2018), 2; 1 - 27
• Disjunctive Axioms and Concurrent lambda-Calculi: a Curry-Howard Approach / F. Aschieri, A. Ciabattoni, F. Genco / CoRR - Computing Research Repository, abs/1802.00961 (2018), abs/1802.00961
• Deontic Reasoning: From Ancient Texts to Artificial Intelligence. Workshop report / A. Ciabattoni, B. Lellmann, K. van Berkel / ACM SIGLOG News, 5 (2018), 4; 48 - 51
• Resolving Conflicting Obligations in Mīmāṃsā: A Sequent-based Approach / A. Ciabattoni, F. Gulisano, B. Lellmann / in: "Deontic Logic and Normative Systems DEON 2018", J. Broersen, C. Condoravdi, S. Nair, G. Pigozzi (ed.); College Publications, 2018, ISBN: 9781848902787, 91 - 110
• Classical Proofs as Parallel Programs / F. Aschieri, F. Genco, A. Ciabattoni / Talk: Ninth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2018), Saarbrücken; 2018-09-26 - 2018-09-28; in: "Proceedings of Ninth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2018)", (2018), 43 - 57
• From Display to Labelled Calculi for Tense Logics / T. Lyon, R. Ramanayake, A. Ciabattoni / Talk: Logical Foundations of Computer Science 2018, Deerfield Beach, Florida; 2018-01-07 - 2018-01-12; in: "Proceedings of Logical Foundations of Computer Science", (2018), ISBN: 978-3-319-72055-5; 120 - 139

2017

• From Display to Labelled Proofs for Tense Logics / R. Ramanayake, A. Ciabattoni, T. Lyon / accepted for publication in: "Proceedings of LFCS 2018.", WordPress
• From hypersequents to parallel computation for intermediate logics / A. Ciabattoni / Talk: Workshop TICAMORE, Marseille; 2017-11-15 - 2017-11-18
• Goedel Logic: from Hypersequents to Parallel Computation / A. Ciabattoni / Talk: ISRALOG 2017, Haifa, Israel; 2017-10-15 - 2017-10-17
• Proof-Theory for Non-Classical Logics: Sequent calculi and beyond / A. Ciabattoni / Talk: International Summer School for Proof Theory, Funchal; 2017-08-22 - 2017-08-27
• Logic-based process calculi: Gödel logic and beyond / A. Ciabattoni / Talk: Workshop Open Problems in Concurrency Theory II, Klosterneuburg (invited); 2017-06-26 - 2017-06-29
• How to Reach Heaven: Different career paths / A. Ciabattoni / Talk: 2nd Logic Mentoring Workshop, Reykjavik (invited); 2017-06-18
• From hypersequent calculi to parallel computation / A. Ciabattoni / Talk: International Workshop on Proofs, Paris (invited); 2017-06-01 - 2017-06-02
• PREFACE OF A SPECIAL ISSUE OF THE J. of LOGIC AND COMPUTATION / A. Ciabattoni, M. Baaz, D.M. Gabbay et al. / Journal of Logic and Computation, 27 (2017), 2
• Algebraic proof theory: Hypersequents and hypercompletions / A. Ciabattoni, N. Galatos et al. / Annals of Pure and Applied Logic, 168 (2017), 3; 693 - 737
• Bunched Hypersequent Calculi for Distributive Substructural Logics / R. Ramanayake, A. Ciabattoni / in: "LNCS 7180, 21st International Proceedings of 21st Int. Conference on Logic for Programming, Artificial Intelligence and Reasoning", 7180; T. Eiter et al. (ed.); issued by: Springer; Springer LNCS, 2017, ISBN: 978-3642287169, 417 - 434
• Standard Completeness for extensions of IMTL / P. Baldi, A. Ciabattoni et al. / in: "Proceedings of : 2017 IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2017,", G. Acampora et al. (ed.); issued by: IEEE; IEEE Computer Society Press, 2017, ISBN: 978-1-5090-6034-4, 1 pages
• From Cut-free Calculi to Automated Deduction: The Case of Bounded Contraction / B. Lellmann, A. Ciabattoni et al. / Electronic Notes in Theoretical Computer Science (ENTCS), 332 (2017), 18 pages
• Understanding prescriptive texts: rules and logic elaborated by Mīmāṃsā school / A. Ciabattoni, F. Genco, E. Freschi / Online Journal of World Philosophies, 2 (2017), 2; 19 pages
• Gödel Logic: From Natural Deduction to Parallel Computation / A. Ciabattoni, F. Genco et al. / Talk: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, Reykjavik; 2017-06-20 - 2017-06-23; in: "Proceedings of 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland", (2017), ISBN: 978-1-5090-3018-7; 1 - 12

2016

• Hypersequents and Systems of Rules: An Embedding / A. Ciabattoni, F. Genco / Talk: Syntax Meets Semantics 2016, Barcelona; 2016-09-05 - 2016-09-09
• Systematic proof theory for substructural logics and applications / A. Ciabattoni / Talk: Mathematics for Computation, Niederaltaich; 2016-05-08 - 2016-05-13
• Proof theory of witnesses Gödel logic: A negative result / M. Baaz, A. Ciabattoni / Journal of Logic and Computation, 26 (2016), 1; 51 - 64
• Power and Limits of Structural Display Rules / R. Ramanayake, A. Ciabattoni / ACM Transactions on Computational Logic, 3 (2016), 17
• Proof theory of witnessed G{"{o}}del logic: {A} negative result / A. Ciabattoni, M. Baaz / Journal of Logic and Computation, 26 (2016), 1; 51 - 64
• Proof search and Co-NP completeness for many-valued logics / A. Ciabattoni, F. Montagna et al. / Fuzzy Sets and Systems, 296 (2016), 130 - 149
• Embedding formalisms: hypersequents and two-level systems of rules / A. Ciabattoni, F. Genco / Talk: AIML 2016, Budapest; 2016-08-30 - 2016-09-02; in: "Advances in Modal Logic (AIML 2016)", 11 (2016), ISBN: 978-1848902015; 197 - 216
• Analytic Calculi for Non-Classical Logics: Theory and Applications / A. Ciabattoni / Talk: 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, Marseille; 2016-08-29 - 2016-09-01; in: "25th EACSL Annual Conference on Computer Science Logic (CSL 2016)", 62 (2016), ISBN: 978-3-95977-022-4

2015

• Proof Search and Co-NP Completeness for Many-Valued Logics / A. Ciabattoni / Talk: Konferenz zu Coherence & Truth-In memoriam Franco Montagna, Pontignano (invited); 2015-12-16 - 2015-12-18
• Algebraic proof theory for substructural logics and applications / A. Ciabattoni / Keynote Lecture: Topology, Algebra, and Categories in Logic 2015 (TACL 2015), Ischia (invited); 2015-06-21 - 2015-06-26
• Proof theory meets semantics: the case of substructural logics / A. Ciabattoni / Keynote Lecture: Boolean Algebras, Lattices, Algebraic & Quantum Logic, Universal Algebra, Set Theory, and Set-theoretic and Point-free Topology (BLAST 2015), Denton, Texas (invited); 2015-06-08 - 2015-06-12
• (Algebraic) Proof Theory for Substructural Logics / A. Ciabattoni / Keynote Lecture: Algebra and Coalgebra meet Proof Theory VI, 2015, Delft (invited); 2015-05-06 - 2015-05-08
• Proof Search and Co-NP Completeness for Many-Valued Logics / A. Ciabattoni, F. Montagna et al. / Fuzzy Sets and Systems, 5 (2015), 05; 1 - 20
• Uniform proofs of standard completeness for extensions of first-order MTL / P. Baldi, A. Ciabattoni / Theoretical Computer Science, 603 (2015), 43 - 57
• Mimamsa Deontic Logic: Proof Theory and Applications / B. Lellmann, A. Ciabattoni, E. Freschi, F. Genco / in: "Automated Reasoning with Analytic Tableaux and Related Methods", 9323; H. De Nivelle (ed.); Springer LNCS, 2015, ISBN: 978-3-319-24311-5, 21 - 24
• Standard Completeness for Uninorm-Based Logics / P. Baldi, A. Ciabattoni / Talk: 2015 IEEE International Symposium on Multiple-Valued Logic (ISMVL 2015), Waterloo, Canada; 2015-05-18 - 2015-05-20; in: "Proceedings of 2015 IEEE International Symposium on Multiple-Valued Logic (ISMVL 2015)", (2015), 78 - 83

2014

• A proof theoretic approach to Standard completeness / A. Ciabattoni / Talk: Konference: Beyond True and False: Logic, Algebra and Topology, Florenz (invited); 2014-12-03 - 2014-12-05
• Tools for the investigation of substructural and paraconsistent logics / A. Ciabattoni / Keynote Lecture: XXV incontro dell'Associazione Italiana di Logica e sue Applicazioni, Pisa (invited); 2014-04-14 - 2014-04-17
• Non classical proofs: Theory, applications and tools / A. Ciabattoni / Talk: Prague Seminar on Substructural Logics, Prag, Czech Republic; 2014-03-28 - 2014-03-29
• Standard completeness: proof-theoretical and algebraic approaches / P. Baldi, A. Ciabattoni, K. Terui et al. / Talk: 35th Linz Seminar of Fuzzy Set Theory, Linz; 2014-02-18 - 2014-02-22
• (Algebraic) Proof Theory for Substructural Logics and Applications / A. Ciabattoni / Talk: 87. Arbeitstagung Allgemeine Algebra (AAA87), Linz (invited); 2014-02-07 - 2014-02-09
• Taming Paraconsistent (and Other) Logics: An Algorithmic Approach / A. Ciabattoni, L. Spendier et al. / Journal of the ACM, 16 (2014), 1
• Hypersequent and Display Calculi - a Unified Perspective / A. Ciabattoni, R. Ramanayake / Studia Logica, 102 (2014), 6; 1245 - 1294
• Preface / A. Ciabattoni, M. Baaz, D.M. Gabbay, S. Hetzl, D. Weller / Journal of Logic and Computation, 1 (2014)
• Tools for the Investigation of Substructural and Paraconsistent Logics / A. Ciabattoni, L. Spendier / Talk: 14th European Conference, JELIA, Funchal, Madeira (invited); 2014-09-24 - 2014-09-26; in: "Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proce", LNCS/Springer, 8761 (2014), ISBN: 978-3-319-11557-3; 18 - 32

2013

• Power andl limits of structural rules / A. Ciabattoni / Talk: LIX Colloquium 2013: Theory and Application of Formal Proofs, Paris, France (invited); 2013-11-05 - 2013-11-07
• Analytic calculi for non-classical logics: The Baha'i Method / A. Ciabattoni / Talk: Tenth International Tbilisi Symposium on Language, Logic and Computation, TbiLLC 2013, Tbilisi, Georgia (invited); 2013-09-23 - 2013-09-27
• Analytic calculi for non-classical logics: The Baha'i Method / A. Ciabattoni / Keynote Lecture: UniLog 2013, Rio de Janeiro (invited); 2013-03-29 - 2013-04-07
• MFCS & CSL 2010 Satellite Workshops: Selected Papers, Fundamenta Informaticae 123 / A. Kucera, I. Potapov, A. Ciabattoni, St. Szeider, R. Freivalds / IOS Press, 2013, ISSN: 0169-2968
• Proof theory for locally finite many-valued logics: Semi-projective logics / A. Ciabattoni, F. Montagna / Theoretical Computer Science, 480 (2013), 26 - 42
• Formal approaches to rule-based systems in medicine: The case of CADIAG-2 / A. Ciabattoni, D. Picado Muino, T Vetterlein, M. El Zekey / International Journal of Approximate Reasoning, 54 (2013), 1; 132 - 148
• Proof theory of witnessed Gödel logic: A negative result / M. Baaz, A. Ciabattoni / Journal of Logic and Computation, 23 (2013), 5; 1 - 14
• Automated Support for the Investigation of Paraconsistent and Other Logics / A. Ciabattoni, O. Lahav, L. Spendier, A. Zamansky / Keynote Lecture: Symposium on Logical Foundations of Computer Science (LFCS), San Diego; 2013-01-06 - 2013-01-08; in: "Proceedings of the Symposium on Logical Foundations in Computer Science (LFCS 2013)", S. Artemov, A. Nerode (ed.); LNCS 7734 (2013), 119 - 133
• Hypersequent and Labelled Calculi for Intermediate Logics / A. Ciabattoni, P. Maffezioli, L. Spendier / Keynote Lecture: Tableaux 2013, Nancy; 2013-09-16 - 2013-09-19; in: "Tableaux 2013", D. Galmiche, D. Larchey-Wendling (ed.); LNCS 8123 (2013), 81 - 96
• Structural extensions of display calculi: A general recipe / A. Ciabattoni, R. Ramanayake / Talk: 20th International Workshop on Logic, Language, Information and Computation WoLLIC 2013, Darmstadt. Germany; 2013-08-20 - 2013-08-24; in: "Proceedings 20th International Workshop, WoLLIC 2013", Springer Lecture Notes in Computer Science, 8071 (2013), ISBN: 978-3-642-39991-6; 81 - 95

2012

• Proof theory for non-classical logics: negative results / M. Baaz, A. Ciabattoni / Talk: Logic, Algebra and Truth Degrees 2012, JAIST, Ishikawa, Japan; 2012-09-10 - 2012-09-14
• Systematic proof theory for Many-valued logics / A. Ciabattoni / Talk: ManyVal´12 (In honor of Antonio Di Nola´s 65th birthday), Salerno, Italy; 2012-07-04 - 2012-07-07
• Proof theory for non-classical logics: a negative result / A. Ciabattoni, M. Baaz / Talk: Pisa Summer Workshop on Proof Theory, Pisa, Italy; 2012-06-12 - 2012-06-15
• Nonclassical proofs: theory, applications, and tools / A. Ciabattoni / Talk: Logical Models of Reasoning and Computation (LMRC12), Moskau, Russia (invited); 2012-02-01 - 2012-02-03
• Algebraic proof theory for substructural logics: Cut elimination and completions / A. Ciabattoni, N. Galatos, K. Terui / Annals of Pure and Applied Logic, 163 (2012), 266 - 290
• Theorem proving for prenex Gödel logic with Delta: checkingvalidity and unsatisfiability / A. Ciabattoni, M. Baaz, C. Fermüller / Logical Methods in Computer Science, 8 (2012), 1; 1 - 20
• Standard completeness for extensions of MTL: an automated approach / P. Baldi, A. Ciabattoni, L. Spendier / Talk: 19th Workshop on Language, Information and Computation, Buenos Aires, Argentina; 2012-09-03 - 2012-09-06; in: "Logic, Language, Information and Computation (LNCS 2012)", Springer, 7456 (2012), 154 - 167

2011

• Nonclassical Proofs: theory, applications, and tools / A. Ciabattoni / Talk: 2nd Workshop of the Joint Project "Structural and Computational Proof Theory", Innsbruck; 2011-10-26 - 2011-10-28
• Basic contructive connectives, determinism and matric-based semanticst / A. Ciabattoni, A. Zamansky / Talk: TABLEAUX 2011, Bern, Switzerland; 2011-07-04 - 2011-07-08
• Systematic (and algebraic) proof theory for substructural logics / A. Ciabattoni / Talk: Truth, Proof and Consequence. Perspectives on Logic, Pisa, Italien; 2011-02-28
• Power and Limits of Analytic Calculi: Towards a Systematic Proof Theory for Nonclassical Logics / A. Ciabattoni / Talk: Workshop on Logic and Computation, Kanazawa, Japan (invited); 2011-02-08 - 2011-02-09
• MacNeille Comletions of FL-algebras / A. Ciabattoni, N. Galatos, K. Terui / Algebra Universalis, 66 (2011), 405 - 420
• First-order satisfiability in Gödel logics: an NP-complete fragment / A. Ciabattoni, M. Baaz, N Preining / Theoretical Computer Science, 414 (2011), 6612 - 6623
• Basic constructive connectives, determinism and matrix-based semantics / A. Ciabattoni, O. Lahav, A. Zamansky / in: "LNAI 6793, Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings", Springer Verlag, 6793, 2011, ISBN: 978-3-642-22118-7, 119 - 134

2010

• Systematic (and algebraic) proof theory for substructural logics / A. Ciabattoni / Talk: International Workshop PCC-Proof, Computation, Complexity, Bern (invited); 2010-06-18 - 2010-06-19
• Algebaic and proof-theoretic characterizations of truth stressers for MTL and its extensions / A. Ciabattoni, G Metcalfe, F. Montagna / Fuzzy Sets and Systems, 161 (3) (2010), 369 - 389

2008

• Towards an algorithmic construction of cut-elimination procedures / A. Ciabattoni, A. Leitsch / Mathematical Structures In Computer Science, 18 (2008), 1; 81 - 105
• Cut elimination for first order Gödel logic by hyperclause resolution / M. Baaz, A. Ciabattoni, C. Fermüller / in: "Logic for Programming, Artificial Intelligence, and Reasoning (LNAI 5330)", I. Cervesato, H. Veith, A. Voronkov (ed.); Springer, 2008, ISBN: 3-540-89438-1, 451 - 466

2007

• Monadic fragments of Gödel logics: decidability and undecability results / M. Baaz, A. Ciabattoni, C. Fermüller / Talk: 14th International Conference on Logic for Programming Artificial Intelligence and Reasoning 2007, Eriwan, Armenia; 2007-10-15 - 2007-10-19
• Monadic fragments of Gödel logics: decidability and undecidability / M. Baaz, A. Ciabattoni, C. Fermüller / Lecture Notes in Computer Science, 4790 (2007), 77 - 91
• Monadic Fragments of Gödel Logics: Decidability and Undecidability Results / M. Baaz, A. Ciabattoni, C. Fermüller / Talk: LPAR 2007, Yerevan, Armenia; 2007-10-15 - 2007-10-19; in: "Logic for Programming, Artificial Intelligence, and Reasoning", N Dershowitz, A. Voronkov (ed.); Springer, LNCS 4790 (2007), ISBN: 978-3-540-75558-6; 77 - 91

2006

• Service QoS composition at the level of part names / M. Aiello, F. Rosenberg, C. Platzer, A. Ciabattoni, S. Dustdar / in: "Web Services and Formal Methods, Third International Workshop, WS-FM 2006 (LNCS 4184)", Springer, 2006, ISBN: 3-540-38862-3, 24 - 37

2005

• Uniform Rules and Dialogue Games for Fuzzy Logics / A. Ciabattoni, C. Fermüller, G Metcalfe / Talk: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Montevideo, Uruguay; 2005-03-14 - 2005-03-18; in: "Logic for Programming, Artificial Intelligence, and Reasoning", F. Baader, A. Voronkov (ed.); Springer, LNAI 3452 (2005), ISBN: 3-540-25236-3; 496 - 510

2003

• Sequent of Relations Calculi: A Framework for Analytic Deduction in Many-Valued Logics / M. Baaz, A. Ciabattoni, C. Fermüller / in: "Beyond Two: Theory and Applications of Multiple-Valued Logics", M. Fitting, E. Orlowska (ed.); Physica-Verlag, 2003, ISBN: 3-7908-1541-1, 157 - 180
• Hypersequent Calculi for Gödel Logics - a Survey / M. Baaz, A. Ciabattoni, C. Fermüller / Journal of Logic and Computation, 13 (2003), 6; 835 - 861
• From intuitionistic logic to Gödel-Dummett logic via parallel dialogue games / C. Fermüller, A. Ciabattoni / in: "Proceedings of the 33rd International Symposium on Multiple-Valued Logic", IEEE Press, Washington, 2003, ISSN: 0195-623x, 188 - 193
• From Intuitionistic Logic to Gödel-Dummett Logic via Parallel Dialogue Games / C. Fermüller, A. Ciabattoni / Talk: ISMVL 03 (33rd International Symposium on Multiple-valued Logic), Tokio, Japan; 2003-05-16 - 2003-05-19; in: "ISMVL 2003, 33rd IEEE International Symposium on Multiple-valued Logic", IEEE Computer Society, Los Alamitos, USA (2003), ISBN: 0-7695-1918-0; 188 - 195

• Intermediate logics and concurrent lambda-calculi: a proof theoretic approach / PhD Thesis by F. Genco / Supervisor, Reviewer: A. Ciabattoni, E. Bartocci; Institut für Logic und Computation, 2019; oral examination: 2019-05-08
• Proof Theory for Modal Logics: Embedding between Hypersequent Calculi and Systems of Rules / Master Thesis by S. Pavlovic / Supervisor: A. Ciabattoni; Institut für Logic and Computation, 2018; final examination: 2018-10-15
• Tools for the investigation of non-classical logics / PhD Thesis by L. Spendier / Supervisor, Reviewer: A. Ciabattoni, E. Pimentel; Institut für Computersprachen, 2015; oral examination: 2015-06-18
• Standard completeness: Proof-theoretic and algebraic methods / PhD Thesis by P. Baldi / Supervisor, Reviewer: A. Ciabattoni, G Metcalfe; Institut für Computersprachen, 2015; oral examination: 2015-08-12

• Nichtklassische Beweise: Theorie, Automatisierung, Anwendung / START-Programm / Austria / 2011

Soon, this page will include additional information such as reference projects, activities as journal reviewer and editor, memberships in councils and committees, and other research activities.

Until then, please visit Agata Ciabattoni’s research profile in TISS .