Course Notes

• 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.

• Talk on Treating build definitions independent of their origin at the Lightenting talks of FOSDEM 2025.
• Talk on The What, How, and Where of Software Build Systems at CdE Seminar 2024.
• Talk on Software Build Systems—Cooperating and Compeeting with Distributions at CdE Seminar 2023.
• Talk on just, a generic open-source build system at TNG July 2023.
• Talk on just, a build system at CdE Seminar 2022.
• 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.