Theory and Logic

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)

New WWTF project

Prizes

Vienna Summer Of Logic