Lecturer
| room | consultation hours | |||
|---|---|---|---|---|
| SE | Vincent van Oostrom | by arrangement | ||
Time and Place
| SE | Tuesday | 14: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 | |||
| November 14 (1) | Curry-Howard | Simon Driendl and Daniel Gogl | Evan Marzion | |||
| November 14 (2) | extraction | Andreas Pirchner and Michael Plattner | Kenji Miyamoto | |||
| November 21 | automata | Thomas Blaas and Stefan Pedratscher | Franziska Rapp | |||
| November 28 | SAT,SMT | Martin Pfitscher and Thomas Tschol | Sarah Winkler | |||
| December 5 | (co)induction | Andreas Forster and Hanna Köb | VvO | |||
| December 12 (1) | model checking | Deni Juric and Thomas Wohlfarter | VvO | |||
| December 12 (2) | process calculi | Michael Kaltschmid and Markus Reiter | VvO | pdf, zip | ||
| January 9 | interactive proving | Jonas Schöpf and Stephanie Widauer | Cezary Kaliszyk | |||
| January 16 | unification | Daniel Proksch | René Thiemann | |||
| January 30 | ||||||
Seminar Reports
Final seminar reports have to be handed in to the supervisor by February 28, 2018, 23:59.
Proof-Reading
Make sure to use a spell checker. Send a pre-final version of your report to your supervisor for final comments.