- A self-contained script on the PCP Theorem (in German) written jointly with Markus Latte and Dimitri Scheftelowitsch at a seminar of the CdE winter academy 2012/13.
- A documentation (in German) of a course of the Deutsche Schülerakademie Urspring 2009. This course was about regular languages and finite automata. It was given jointly with Markus Latte.
- The blackboards of a lecture on proof notations given at the Fall School in Logic 2008.
- A (mostly) self-contained note on Kleene Indices (in German), as part of the course "Logik II" in the summer term 2006.
- Another documentation (again in German) of a course of the Deutsche Schülerakademie. This course had the title "Define and Conquer" and was on recursion theory and a bit of complexity theory. It was given jointly with Markus Latte at the Schülerakademie Hilden 2005.
- Yet another documentation (again in German) of a course on the lambda calculus. Again with Thomas Fischbacher. This times the course was given at the Schülerakademie Hilden 2003. The documentation was written by the participants.
- Einführung in den lambda-Kalkül, with Thomas Fischbacher. An introduction to the lambda-calculus (in German); lecture notes of a course given at the CdE convention 2001.

- A
Note on Böhm's Theorem, with
Felix
Joachimksi. A short proof of Böhm's Theorem
*without*the use of infinite objects; not to be published, as Böhm's original proof does not use infinite objects either. January 2002. (pdf)

- Presentation of Bazel at FrOSCon 2017.
- A presentation of Bazel at FOSDEM 2017.
- A presentation of news in Ganeti given at GanetiCon 2015.
- A basic introduction to ed.
- The first part of the Ganeti team presentation at GanetiCon 2014.
- Presentation of Ganeti at FrOSCon 2014.
- Presentation of Ganeti at FrOSCon 2013.
- A talk on the FreeBSD ports system,
given at an informal group meeting in Southampton.

*Warning: since I was asked to give opinions, these slides do contain judgemental statements.* - A lecture on Proof Notations, given at the Fall School in Logic 2008.

$Date: 2017/08/24 13:47:55 $