Recent activites

• Co-chair of the Vienna Center for Logic and Algorithms VCLA.

Collecting editor of the International Journals

• IfCoLog (open access) Journal of Logics and their Applications,
• Journal of Logical and Algebraic Methods in Programming ,
• Bulletin of the Section of Logic and
• Soft Computing.
  
  

Invited Plenary Speaker (a selection)

• Logic Colloquium 2018, July 2018, Udine
• Advances in Modal Logic ( AIML 2018 ), August 2018, Bern
• British Colloquium for Theoretical Computer Science 2018, London, March 2018
• International Workshop Proofs, June 2017
• Computer Science Logic (CSL 2016), August 2016, Marseille (France)
• Mathematics for Computation (M4C) 2016, Lower Bavaria (DE)
• Topology, Algebra, and Categories in Logic 2015 (TACL 2015) , June 2015, Ischia (Italy)
• Boolean Algebras, Lattices, Algebraic & Quantum Logic, Universal Algebra, Set Theory, and Set-theoretic and Point-free Topology (BLAST 2015) , June 2015, Denton US (Invited Tutorial)
• Algebra and Coalgebra meet Proof Theory VI, 2015 (ALCOP 2015) , May 2015, Delf (Netherlands)
• the European Conference on Logics in Artificial Intelligence (JELIA 2014) , September 2014, Madeira (Portugal)
• the 87th Workshop on General Algebra (AAA87), February 2014, Linz (Austria),
• XXV Incontro di Logica (AILA), April 2014, Pisa (Italy).
  

PC Member of

• FoSSaCS 2019
• Logic Colloquium 2019
• TACL 2019
• CSL 2018
• IJCAR 2018
• LATD 2018
• ESCIM 2018
• Colloquium Logicum 2018 (CL 2018)
• Congress of the Austrian Mathematical Society (co-chair of the section Algebra, Logic and Set Theory) Salzburg 2017
• Computer Science Logic ( CSL 2017 )
• Workshop on Logic Language Information and Computation ( WoLLIC 2017 )
• Manyval 2017
• Automated Reasoning with Analytic Tableaux and Related Methods ( Tableaux 2017)
• Topology, Algebra, and Categories in Logic ( TACL 2017)
• 7th Indian Conference on Logic and its Applications ICLA 2017 (Kanpur, India)
• ALCOP 2016 (Vienna, chair)
• IJCAR 2016 (Coimbra, Portugal)
• LATD 2016 (South Africa)
• SYSMICS Syntax Meets Semantics 2016 (Barcelona, Spain)
• ESCIM 2016 (8th European Symposium on Computational Intelligence and Mathematics), (Bulgaria)
• Manyval 2015 (Les Diablerets, Switzerland),
• LICS 2015 (Kyoto),
• ESCIM 2015 7th European Symposium on Computational Intelligence and Mathematics. Cadiz,
• FOCI 2015 IEEE Symposium on Foundations of Computational Intelligence (Cape Town)
• Tableaux 2015, Wroclaw University, Poland
• LSFA 2015 (International Workshop on Logical and Semantic Frameworks, with Applications), Natal, Brasil
• TbiLLC: Tbilisi Symposium on Logic, Language, and Computation 2015 (Georgia),
• IJCAR 2014 (Vienna),
• LATD 2014 (Vienna, Co-Chair),
• ISRALOG'14 Israeli Workshop on Non-Classical Logics and Their Applications (Haifa), and
• FOCI 2014 IEEE Symposium on Foundations of Computational Intelligence (Orlando, US).

Executive board member

• Kurt Gödel Society and Collegium Logicum chair
• ERCIM Working Group on Many-Valued Logics
  
  

Steering Commitee member of

• the international conference Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX).
• the international conference LATD (Logic, Algebra and Truth Degrees).
• the Doctoral Programme Mathematical Logic in Computer Science at the Vienna University of Technology.

Member of

• the WPI Wolfgang Pauli Institute Vienna.

---

Research Projects (a selection)

As Principal Investigator

• Reasoning Tools for Deontic Logic and Applications to Indian Sacred Texts WWTF, "Mathematics and ... Call 2016 " (with Elisa Freschi -- Austrian Academy of Science). May 2017- May 2021 (Amount: 628.000 euro)
  
• TICAMORE: Translating and dIscovering CAlculi for MOdal and RElated logics Transnational Funding FWF-ANR, (with N. Olivetti and D. Galmiche -- France), February 2017-January 2020 (Total Amount: 630.000 euro)
• Non classical proofs: Theory, Applications and Tools, funded by FWF (Austrian Science Fund), START prize,
  December 2011-November 2019, (Amount: 960.000 euro).
• Fuzzy Logic: from Mathematics to Medical Applications, funded by WWTF, ``Mathematics and ... Call 2007'' (with P. Adlassnig, Vienna Medical University), 2008-2012, (Amount: 444.000 euro).
• Semantic Characterization of Cut-Elimination, funded by FWF (Austrian Science Fund), 2006-2009, (Amount: 237.000 euro).
• The Realm of Cut Elimination, bilateral project OEAD Austria-France, headed by A. Ciabattoni (for the Austrian side) and D. Miller (for the French side), 2007-2008.
• Generating Analytic Calculi for Non Classical Logics, funded by FWF (Austrian Science Fund), Charlotte-Buehler-Habilitation Scholarship, 2003-2005.
• Proof theory of first-order fuzzy logics, EC Marie Curie Individual Fellowship, 2000-2002.

As co-Investigator

• FWF Doctoral College Logical Methods in Computer Science , 16 PhD positions. Convenors: E. Bartocci, A. Biere, R. Bloem, A. Ciabattoni, U. Egly, T. Eiter, C.G. Fermueller, R. Grosu, L. Kovacs, M. Maffei, M. Ortiz, R. Pichler, U. Schmidt, S. Szeider, G. Weissenbacher, S. Woltran. 2018-2022.
• COST action OC-2017-1-22305 DIGital FORensics: evidence Analysis via intelligent Systems and Practices (starting soon)
• EC-RISE (3 Years), Marie Curie Action: Research and Innovation Staff Exchange (RISE) SYSMICS : Syntax meet Semantics: Methods, Interactions, and Connections in Substructural logics (23 Partners, 13 Countries), Coordinator for the TU Wien site, 2016-2019.
• EC-IRSES (4 Years), Marie Curie Action: International Research Staff Exchange Scheme (IRSES), FP7-PEOPLE-2012-IRSES, GetFUN Generalizing Truth-Functionality (16 Partners, 8 Countries), Coordinator for the TU Wien site, 2013-2017.
• A novel decision support system for training and diagnosis in dermatology. Funded by the Austrian Research Promotion Agency FFG . Join project with the Medical University of Vienna (Dr. Riedl) and Emergentec biodevelopment, 2013-2015.
• Doctoral Programme Mathematical Logic in CS, 10 PhD positions. Convenors: M. Baaz, A. Ciabattoni, T. Eiter, M. Goldstern, A. Leitsch, R. Pichler, K. Svozil, S. Szeider, H. Veith, S. Woltran, 2010-2013.
• The Challenge of Semantics , ESF exploratory workshop, convenors A. Ciabattoni and M. Baaz, July 2004.

As Scientist in charge

• Marie Curie Individual Fellowship (IEF) Proof Theoretic Analysis of Modal Logics for Bjoern Lellmann (May 2015-April 2017)
• FWF Lisa Meitner Nested Sequents for Interpolation and Realization for Roman Kuznets (February 2015-January 2017)

---

Co-authors

---

  Ciao Franco

---

I have published papers or edited volumes with various colleagues, including:

Austria

Klaus-Peter Adlassnig, Medical Expert and Knowledge-Based Systems, Medical University of Vienna.
Federico Aschieri , Institut für Discrete Mathematics and Geometry, TU Vienna.
Matthias Baaz, Institut für Discrete Mathematics and Geometry, TU Vienna.
Paolo Baldi , Institut für Computersprachen, TU Vienna.
Christian G. Fermüller, Institut für Computersprachen, TU Vienna.
Alexander Leitsch, Institut für Computersprachen, TU Vienna.
Schahram Dustdar, Distributed Systems Group, Information Systems Institute, TU Vienna.
Elisa Freschi , Austrian Academy of Science.
Francesco Genco Institut für Computersprachen, TU Vienna.
Bjoern Lellmann , Institut für Computersprachen, TU Vienna.
Christian Platzer, Distributed Systems Group, Information Systems Institute, TU Vienna.
Florian Rosenberg, Distributed Systems Group, Information Systems Institute, TU Vienna.
Revantha Ramanayake, Institut für Computersprachen, TU Vienna.
Lara Spendier, Institut für Computersprachen, TU Vienna.
Thomas Vetterlein, Department of Knowledge-based Mathematical Systems, University of Linz.
Helmut Veith, Department of Formal Methods in Systems Engineering, Information Systems Institute, TU Vienna.

Brasil

Carlos Olarte , UFRN
Elaine Pimentel , UFRN

Canada

Richard Zach, Department of Philosophy, University of Calgary.

Czech Republic

Petr Hajek, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague.
Pavel Rusnok, Institute for Research and Applications of Fuzzy Modeling, Ostrava.

Egypt

Moataz El-Zekey, Department of Basic Sciences, Institute of Technology, Benha University.

England

Dov M. Gabbay, Department of Computer science, King's College London.

France

Nicola Olivetti, Department of Computer Science, Paul Cézanne University, Marseille.
Lutz Strassburger, INRIA Research Centre, Saclay -Ile-de-France.

Germany

Mattia Bongini , Faculty of Mathematics, University of Technology Munich.
Heinrich Wansing , Department of Philosophy II Logic and Epistemology, Ruhr University Bochum .

Israel

Arnon Avron, Department of Computer Science, Tel-Aviv University.
Ori Lahav, Department of Computer Science, Tel-Aviv University.
Anna Zamansky, Information Systems Department, University of Haifa.

Italy

Stefano Aguzzoli, Department of Computer Science, University of Milano.
Andrea Asperti, Department of Computer Science, University of Bologna.
Antonio Di Nola, Department of Mathematics and Computer Science, University of Salerno.
Mauro Ferrari, Department of Computer Science, University of Varese.
Brunella Gerla, Department of Computer Science, University of Varese.
Duccio Luchi, IBM Italia.
Vincenzo Marra, Department of Informatics, University of Milano.
Franco Montagna, Department of Mathematics, University of Siena.

The Nederlands

Marco Aiello, Department of Computer Science, Groeningen.
Paolo Maffezioli, Department of Philosophy, Groeningen.

Japan

Norbert Preining, JAIST Research Center for Integrated Science, Kanazawa.
Kazushige Terui, Research Institute for Mathematical Sciences, Kyoto.

Spain

Francesc Esteva, Artificial Intelligence Research Institute, Bellaterra.
Lluis Godo, Artificial Intelligence Research Institute, Bellaterra.
David Picado, European Center for Soft Computing, University of Oviedo.

Switzerland

George Metcalfe, Department of Mathematics, Bern.

USA

Nikolaos Galatos, Department of Mathematics, University of Denver.

---

PhD Students

Francesco Genco (from December 2014)
Tim Lyon (from November 2016)
Paolo Baldi. Thesis: Standard completeness: proof-theoretic and algebraic methods , defended August 2015
Lara Spendier. Thesis: Tools for the Investigation of Non-classical Logics , defended June 2015