181.206 Logic seminar
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2021S, SE, 2.0h, 3.0EC


  • Semester hours: 2.0
  • Credits: 3.0
  • Type: SE Seminar
  • Format: Online

Learning outcomes

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).


Subject of course

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.

Teaching methods


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.

Mode of examination


Additional information

ECTS Breakdown:

  • 12 hours: seminar meetings (presentations and discussions)
  • 30 hours: presentation (incl. preparation, handout etc.)
  • 33 hours: reading of relevant scientific papers
Please consider the plagiarism guidelines of TU Wien when writing your seminar paper: Directive concerning the handling of plagiarism (PDF)



Course dates

Wed16:00 - 17:0010.03.2021 Zoom: https://tuwien.zoom.us/j/92646104864?pwd=Y1hQaklWQ2NiTkY4VC84aGxxcVdpdz09Kick-off (via Zoom)

Examination modalities

Assessment is based on the elaboration and the oral presentation.

Course registration

Not necessary



No lecture notes are available.

Previous knowledge

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


if required in English