De cursus Formele Methoden wordt in 2009 gegeven door Bas Spitters. Zie zijn pagina van de cursus.