- A self-contained script on the Completeness Theorem of first order logic (summer 2018).
- 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.

- Lightening talk on Bazel external repositories at BazelCon 2018.
- 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: 2018/10/13 19:38:34 $