Projects

(last 5 years; see also the individual homepages of group members)

  • Reasoning Tools for Deontic Logic and Applications to Indian Sacred Texts, funded by WWTF (Vienna Science and Technology Fund), 2017-2021 (Agata Ciabattoni)
  • Transnational Funding FWF-ANR, TICAMORE: Translating and dIscovering CAlculi for MOdal and RElated logics, 2017-2020 (Agata Ciabattoni)
  • EC-RISE, Marie Curie Action, Research and Innovation Staff Exchange (RISE) Syntax meet Semantics: Methods, Interactions, and Connections in Substructural logics (23 Partners, 13 Countries), 2016-2019 (Agata Ciabattoni)
  • Stiftung Aktion Österreich-Ungarn. Proj. no: 92öu14. Formalisierung der Beweistheorien. 2016-2017. (Revantha Ramanayake)
  • FWF Lise Meitner Sequents for Interpolation and Realization. 2015-2017 (Roman Kuznets)
  • Marie Skłodowska-Curie Fellowship Proof Theoretic Analysis of Modal Logics 2015-2017 (Björn Lellmann)
  • Beweistransformationen mittels Schnittelimination in der intuitionistischen Logik. FWF Project P24300. 2012-2015. (Alexander Leitsch)
  • Non classical proofs: Theory, Applications and Tools, FWF START prize, 2011-2017. (Agata Ciabattoni)
  • EC-IRSES, Marie Curie Action: International Research Staff Exchange Scheme (IRSES), FP7-PEOPLE-2012-IRSES, GetFUN Generalizing Truth-Functionality (16 Partners, 8 Countries), 2013-2016. (Agata Ciabattoni)
  • LOGFRADIG - A Logical Framework for Dialogue Games, FWF Project, 2013-2015. (Christian Fermüller)
  • Beweistransformationen mittels Schnittelimination in der intuitionistischen Logik. FWF Project P24300. 2012-2015. (Alexander Leitsch)
  • Algorithms and Complexity of Constraint Languages. FWF Project. 2012-2016. (Gernot Salzer)
  • FFG Project: A novel decision support system for training and diagnosis in dermatology. With the Medical University of Vienna (Dr. Riedl) and Emergentec biodevelopment, 2013-2015. (Gernot Salzer, Agata Ciabattoni and Christian Fermüller)
  • 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.
  • Beweistheoretische Anwendungen der CERES Methode. FWF Project P22028. 2010-2012. (Alexander Leitsch)
  • Fuzzy Logic: from Mathematics to Medical Applications, funded by WWTF (Vienna Science and Technology Fund), 2008-2012. (Agata Ciabattoni)
  • LoMoReVI - Logical Models of Reasoning with Vague Information (Subprojects):
    Collaborative Research Project within the EUROCORES programme LogiCCC of the European Science Foundation (ESF) (Christian Fermüller)
  • Semantic Characterization of Cut-Elimination, funded by FWF (Austrian Science Fund), 2006-2009. (Agata Ciabattoni)