February 23, 2011

Talks page updated. Oh, and I have a new job.

April 13, 2010

My habilitation thesis on nested sequents is now available from arxiv.org. Comments are welcome! Also, note that the PCC submission deadline is near (May 1st).

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.

June 19, 2008

Richard McKinley and I just finished a paper on an algorithmic interpretation of a deep inference system, available here.

October 29, 2007

There will be a meeting on deep inference here in Bern in the week starting on November 19th.

September 15, 2007

Thomas Studer and I just finished a syntactic cut-elimination procedure for an infinitary system for common knowledge, it is available here.

August 21, 2007

I just finished the journal version of the paper on deep sequent systems for modal logic, it is available here.