en | de

Specialisation Seminar

bachelor program

SE1  WS 2017/2018  703037


room consultation hours
SE Vincent van Oostrom 3M12 Thursday14:00 – 15:30

Time and Place

SE Tuesday14:15 – 16:00 3W03 Vincent van Oostrom

The first meeting (Oct. 3) gives an introduction to the seminar and mentions administrative details. The assignment of topics and pairing of students will be discussed, as well as the scheduling of the subsequent seminars/presentations.

Seminar Talks

The seminar talks should present the general theory, illustrate it by concrete examples, (and if applicable, illustrate these by tool usage). Each talk should last for 50 minutes in total: 40 minutes presentation, leaving 10 minutes for discussions and comments.

Date Topic Students Supervisor Slides    Report
October 3 presentation
October 10 assignment
November 7 incompleteness Ahmet Aspir and Mark Nardi Georg Moser pdf pdf
November 14 (1) Curry-Howard Simon Driendl and Daniel Gogl Evan Marzion pdf pdf
November 14 (2) extraction Andreas Pirchner and Michael Plattner Kenji Miyamoto pdf pdf
November 21 automata Thomas Blaas and Stefan Pedratscher Franziska Rapp pdf pdf
November 28 SAT,SMT Martin Pfitscher and Thomas Tschol Sarah Winkler pdf pdf
December 5 (co)induction Andreas Forster and Hanna Köb VvO pdf pdf
December 12 (1) model checking Deni Juric and Thomas Wohlfarter VvO pdf pdf
December 12 (2) process calculi Michael Kaltschmid and Markus Reiter VvO pdf pdf, zip
January 9 interactive proving Jonas Schöpf and Stephanie Widauer Cezary Kaliszyk pdf pdf
January 16 unification Daniel Proksch and Sarah Ziesel René Thiemann pdf pdf
January 30

Seminar Reports

Final seminar reports have to be handed in to the supervisor by February 28, 2018, 23:59.


Make sure to use a spell checker. Send a pre-final version of your report to your supervisor for final comments.