en | de

Vertiefungsseminar – Logik in der Praxis und Automatisches Beweisen

Bachelorstudium

SE1  WS 2016/2017  703037

Lehrender

Raum Sprechstunde
SE Georg Moser 1N05 Mittwoch12:00 – 14:00

Time and Place

SE Freitag10: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 pdf pdf
October 21 46 – 79 Samuel Frontull René Thiemann pdf pdf
October 28 79 – 111 Julian Parsert Sebastiaan Joosten pdf pdf
November 4 118 – 158    Lukas Nocker Michael Färber pdf pdf
November 11 158 – 228 David Peer Julian Nagele pdf pdf
November 18 235 – 249 Sebastian Waldhart Alexander Maringele    pdf pdf
November 25    249 – 271 Maximilian Mayerl Christian Sternagel pdf pdf
December 2 271 – 303 Christoph Wirnsperger    Vincent van Oostrom pdf pdf
December 9 308 – 328 Anna-Lena Rädler Aart Middeldorp    pdf    pdf
December 16 328 – 352 Martin Pfeifhofer Martin Avanzini pdf    pdf
December 16 352 – 380 Felix Schett
January 13 380 – 400 Claudia Laube Cezary Kaliszyk pdf    pdf
January 20 400 – 414 Olivia Zellner Georg Moser pdf    pdf
January 27 414 – 425 Daniel Gröber Sarah Winkler pdf    pdf
February 3 425 – 450 Marc Kratzer

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.