Vertiefungsseminar – Logik in der Praxis und Automatisches Beweisen
Bachelorstudium
SE1 WS 2016/2017 703037
Lehrender
Raum | Sprechstunde | |||
---|---|---|---|---|
SE | Georg Moser | 1N05 | Mittwoch | 12:00 – 14:00 |
Time and Place
SE | Freitag | 10:15 – 11:00 | SR 2 | Georg Moser |
The seminar takes place every week. The first meeting (Oct. 7) gives an introduction to the seminar and mentions administrative details; see here for the slides. Furthermore the assignment of topics will be discussed. Each student will be assigned a supervisor from the CL group. For those given later parts in the book, occasional meetings with the supervisor are recommended.
Registration
Please register online before September 21, 25:56. Please note that we can atmost accept 15 participants.
Seminar Talks
The seminar talks should present the main results of the assigned part of the book. Each presentation should last for 30 minutes, leaving 15 minutes for discussions and comments.
Date | Pages | Student | Supervisor | Slides | Report |
---|---|---|---|---|---|
October 14 | 25 – 46 | Patrick Summerer | Akihisa Yamada | ||
October 21 | 46 – 79 | Samuel Frontull | René Thiemann | ||
October 28 | 79 – 111 | Julian Parsert | Sebastiaan Joosten | ||
November 4 | 118 – 158 | Lukas Nocker | Michael Färber | ||
November 11 | 158 – 228 | David Peer | Julian Nagele | ||
November 18 | 235 – 249 | Sebastian Waldhart | Alexander Maringele | ||
November 25 | 249 – 271 | Maximilian Mayerl | Christian Sternagel | ||
December 2 | 271 – 303 | Christoph Wirnsperger | Vincent van Oostrom | ||
December 9 | 308 – 328 | Anna-Lena Rädler | Aart Middeldorp | ||
December 16 | 328 – 352 | Martin Pfeifhofer | Martin Avanzini | ||
| | | |||
January 13 | 380 – 400 | Claudia Laube | Cezary Kaliszyk | ||
January 20 | 400 – 414 | Olivia Zellner | Georg Moser | ||
January 27 | 414 – 425 | Daniel Gröber | Sarah Winkler | ||
February 3 | | | |||
Seminar Reports
Final seminar reports have to be handed in to the supervisor by February 28, 2017, 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.