News
June 9, 2009
For our workshop Gentzen-systems and Beyond there is now a preliminary list of speakers and a booklet of abstracts available on the workshop homepage.
April 23, 2009
Our paper on modular sequent systems for modal logic is accepted at Tableaux 2009. I just finished the final version, it's available here.
February 2, 2009
Lutz and I just finished a paper on modular sequent systems for modal logic, available here.
September 22, 2008
Richard McKinley and I just finished the final version of "An algorithmic interpretation of a deep inference system", available here.