After successful completion of the course, students are able to

• perform a literature research for a topic or result in the intersection of logic and computer science,
• study, understand and explain the topic or result,
• present the topic or result using slides or handouts (via Zoom).

The seminar topics will relate to current research of the course organizer. Particularly, participants will have a choice between various areas in proof theory and analysis, including, but not limited to, cut-elimination, formalization of proofs, non-standard formalizations related to linguistics and AI.

The students have to

• perform a literature research for a selected topic,
• prepare a presentation draft about the chosen topic, and
• give a presentation of 30-45min.

ECTS Breakdown:

• 12 hours: seminar meetings (presentations and discussions)
• 30 hours: presentation (incl. preparation, handout etc.)
• 33 hours: reading of relevant scientific papers

Assessment is based on the elaboration and the oral presentation.

Participants are expected to have some (basic) knowledge in mathematical logic.