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.

2023S, SE, 2.0h, 3.0EC, to be held in blocked form


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

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:   Friday, March 24, 2023, 11am

Seminar room Gödel


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
22.02.2023 09:00 30.03.2023 18:00



No lecture notes are available.

Previous knowledge

Participants are expected to have some knowledge in mathematical logic.


  • Attendance Required!