February 23, 2011
Talks page updated. Oh, and I have a new job.
April 13, 2010
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
June 19, 2008
October 29, 2007
There will be a meeting on deep inference here in Bern in the week starting on November 19th.
September 15, 2007
August 21, 2007
finished the journal version of the paper on deep sequent
systems for modal logic, it is available here.