How Bitcoin works

December 2015

Introduction to the Bitcoin protocol given as part of the ResearchXchange seminar at Berner Fachhochschule.

slides (pdf)


May 2012

Scala introduction (in German) given at Swisscom NIT and ipt.

slides (pdf)

How to Universally Close the Existential-Rule

October 14, 2010

Talk given at LPAR 2010 in Yogyakarta.

slides (pdf)

On a Mismatch in the Structure of Proofs

February 9, 2010

Talk given in Zürich.

slides (pdf)

The problem of cut-elimination in modal predicate logic

December 22, 2009

Talk given at a workshop in Münchenwiler.

slides (pdf)

Nested Sequents


I think I gave this talk several times, in Bath and Bern.

slides (pdf)

An Algorithmic Interpretation of a Deep Inference System

June 18th, 2008

Talk at a workshop in Nancy and at LPAR 2008.

slides (pdf) | additional slides (pdf)

Syntactic cut-elimination for common knowledge

October 8, 2007

Talk 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 Logic

January 23rd, 2007

Talk in Bern.

slides (pdf)

What's a cut-free derivation in the calculus of structures?

December 6th, 2006

Talk at a workshop in Paris.

slides (pdf)

Yet another Proof Theory for Modal Logic

December 19th, 2005

I gave the talk at workshops in Munich and Dresden.

slides (pdf)

Computational Complexity from a Programming Perspective

September 22nd, 2003

Based on lecture notes by Neil Jones, part of my PhD defense.

slides (pdf)