full screen background image

Related Projects

  1. WWTF, "Mathematics and ... Call 2016". Reasoning Tools for Deontic Logic and Applications to Indian Sacred Texts Starting date: May 15th 2017. Coordinator: A. Ciabattoni

  2. Transnational Funding FWF-ANR TICAMORE: Translating and dIscovering CAlculi for MOdal and RElated logics (with N. Olivetti and D. Galmiche -- France), February 2017-January 2020. Coordinator for TU Wien: A. Ciabattoni

  3. 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. Coordinator for TU Wien: A. Ciabattoni

  4. FWF Doctoral College Logical Methods in Computer Science , 15-30 PhD positions. Convenors: M. Baaz, A. Biere, R. Bloem, A. Ciabattoni, U. Egly, T. Eiter, C.G. Fermueller, R. Grosu, A. Leitsch, M. Ortiz, R. Pichler, S. Szeider, H. Tompits, H. Veith, G. Weissenbacher, 2014-2017. ( web site )

  5. 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. Coordinator for TU Wien: A. Ciabattoni

  6. Individual Marie Curie Fellowship for Bjoern Lellmann (May 2015-April 2017, scientist in charge A. Ciabattoni)

  7. FWF Lisa Meitner Fellowship for Roman Kuznets (February 2015-January 2017, scientist in charge A. Ciabattoni)

  8. Bilateral project OEAD, Austria-Ungary. Formalization of proof theory for Revantha Ramanayake 2016-2017