Administrativa

The seminar is offered every semester. No formal registration is necessary - just attend the first meeting. It takes place every Thursday 14:15-15:45 throughout the lecture period in Room 00.131-128, Cauerstraße 11.

No matter what campo.fau.de says, the seminar is conducted in English!

For general discussion of the seminar, use the chat room #swuv:fau.de.

The seminar takes place in-person unless mentioned otherwise. If we need to do it via zoom, we will use the following room:

• zoom meeting room https://fau.zoom.us/j/93424820605?pwd=d3N0M3pkVDBKclBnN3NzVnYwY3hGUT09
• meeting ID: 934 2482 0605
• password: 027214

Flow of the Seminar, Topics and Grading Scheme

The seminar consists of weekly talks. Every student chooses one topic on which to give a talk. Additionally every student prepares a report about their topic. The grade is based on attendance, the talk, and the report.

Since WS24/25, we will not have free topic selection as in the semesters before, but we will schedule coordinated groups of talks based on three handbooks:

• Miller: Proof Theory and Logic Programming
• Harrison: Handbook of practical Logic
• Sorensen/Urzyczyn: Lectures on the Curry-Howard Isomorphism

Students can choose consecutive sections/chapters of about 15-20 pages and report on the contents.

The report should consist of the following:

1. 8-10 pages: report on the chosen topic, targeting an audience of your peers. Assume they have not read your book at all, but have roughly the knowledge of someone with a B.Sc. in computer science (as with your talk).
2. For each of the four talks in the “surrounding” two seminar sessions (i.e. the two talks in the session after yours, and the two in the session before yours, in circular order; i.e. the session “before” the first session is the last one, the session “after” the last session is the first one): ~1/2 page of
   • a summary of the contents of the talk
   • a (subjective) analysis of their presentation: what went well? What did not go well? What could they have done better? How were the slides? Could you follow the contents easily? Did they seem knowledgable, insecure, etc. (feel free to make notes during their talk - otherwise you will forget!)
3. ~1 page analogous about your own talk: What was your approach / how did you prepare? Do you feel that worked well? If so, how, if not, why? What did you do better than others? What did others do better than you? What would you do differently if you were to do it again? What did you learn?

(Note that the entire report should consist of full sentences - not just “comma-separated keywords”)

The deadline for the report in SS2026 is 15.09.2026.

The projector in the seminar room has a native resolution of 1024x768 px.

Schedule SS 2026

Schedule WS 2025/26

Schedule SS 2025

For the Record: Schedule WS 2024/25

For the record: Schedule SS 2024

For the record WS 2023/2024

For the record: SS 2023

For the record: WS 2022/23

For the record: SS 2022

For the record: WS 2021/2022

For the record: Seminarplan SS21

For the record: Seminarplan WS2021

For the record: Seminarplan SS20

For the record: Seminarplan WS19/20

For the record: Seminarplan SS2019

For the record: Seminarplan SS2018

For the record: Seminarplan WS2017/18