185.316 Seminar in Logic
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, to be held in blocked form


  • Semester hours: 2.0
  • Credits: 3.0
  • Type: SE Seminar
  • Format: Distance Learning

Learning outcomes

After successful completion of the course, students are able to study, understand, explain, and present, using properly prepared slides and handouts, scientific results in the intersection of logic and computer science. Moreover they will be able to search for related literature in a systematic fashion.

Subject of course

The seminar topics will relate to current research of the two course organizers. Concretely, participants will have a choice between various areas including proof theory,  normative reasoning  and logical dynamics of agents.


Teaching methods

various intividual meetings with the chosen lecturer

Mode of examination


Additional information

Organisational Meeting

Mar 24, 2021 02:00 PM

via Zoom. Link


ETCS Breakdown:

3 ETCS = 75 hours

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



Examination modalities

A talk and handouts

Course registration

Begin End Deregistration end
24.02.2021 09:00 04.06.2021 18:00



No lecture notes are available.

Previous knowledge

Participants are expected to have some knowledge in mathematical logic.


  • Attendance Required!