|
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 Existential-RuleOctober 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 cut-elimination 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 cut-elimination 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 Cut-Elimination for Temporal LogicJanuary 23rd, 2007Talk in Bern. slides (pdf) |
|
What's a cut-free 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) |