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))

Teaching awards 2017

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) ] (

New WWTF project


Vienna Summer Of Logic