How Bitcoin worksDecember 2015Introduction to the Bitcoin protocol given as part of the ResearchXchange seminar at Berner Fachhochschule. slides (pdf) 

ScalaMay 2012Scala introduction (in German) given at Swisscom NIT and ipt. slides (pdf) 

How to Universally Close the ExistentialRuleOctober 14, 2010Talk given at LPAR 2010 in Yogyakarta. slides (pdf) 

On a Mismatch in the Structure of ProofsFebruary 9, 2010Talk given in Zürich. slides (pdf) 

The problem of cutelimination in modal predicate logicDecember 22, 2009Talk given at a workshop in Münchenwiler. slides (pdf) 

Nested Sequents2008I think I gave this talk several times, in Bath and Bern. slides (pdf) 

An Algorithmic Interpretation of a Deep Inference SystemJune 18th, 2008Talk at a workshop in Nancy and at LPAR 2008. slides (pdf)  additional slides (pdf) 

Syntactic cutelimination for common knowledgeOctober 8, 2007Talk given at a workshop in Münchenwiler and at Methods for Modalities in Cachan. slides (pdf, Münchenwiler)  slides (pdf, M4M) 

Towards CutElimination for Temporal LogicJanuary 23rd, 2007Talk in Bern. slides (pdf) 

What's a cutfree derivation in the calculus of structures?December 6th, 2006Talk at a workshop in Paris. slides (pdf) 

Yet another Proof Theory for Modal LogicDecember 19th, 2005I gave the talk at workshops in Munich and Dresden. slides (pdf) 

Computational Complexity from a Programming PerspectiveSeptember 22nd, 2003Based on lecture notes by Neil Jones, part of my PhD defense. slides (pdf) 