Programm für das zwölfte Treffen am 17. März 2016

Cornelius setzte seinen Vortrag über Verified Firewall Ruleset Analysis fort.

Makarius gab (diesmal wirklich) eine Einführung in Programme und Beweise in Isabelle/HOL. Inhaltlich wurden das einige formale Fußnoten in klassischer Mathematik zu scheinbar unmöglichen funktionalen Programmen sowie eine Nacharbeit zu den beiden Haskell-Workshops (erstes Übungsblatt, zweites Übungsblatt) sein. Bei der Gelegenheit haben wir auch das Release von Isabelle2016 gefeiert.