News
Workshop on "Reasoning Tools for Deontic Logic and Applications to Indian Sacred Texts", TU Wien, 11.6.- 13.6.2018.
Second SYSMICS Workshop: Substructural logics: semantics, proof theory, and applications, 26–28 February 2018, Vienna (Austria))
Workshop: Proof Theory: Herbrand's Theorem revisited (25.-27.5.2017)
Workshop: Translating and Discovering Calculi for Modal and Related logics -- Kick off meeting (14-16.3.2017)
[ALCOP VII (Algebra and Coalgebra meet Proof Theory) ] (http://alcop2016.logic.at)