184.067 Seminar in Theoretical Computer Science
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: Hybrid

Learning outcomes

After successful completion of the course, students are able to

  • to name relevant aspects of theoretical computer science,
  • to describe the current research for a chosen topic from the area of theoretical computer science, and
  • to find relevant literature for a topic from research about theoretical computer science


Subject of course

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 50min.

Mode of examination


Additional information

Blocked course. More information to the current topics and the schedule will be given during the topic assignment (date see below or Homepage).

The course is held in presence form, with a possible switch to online. The preliminary meeting will be held in online form.

Please consider the plagiarism guidelines of TU Wien when writing your seminar paper: Directive concerning the handling of plagiarism (PDF)



Course dates

Tue17:00 - 18:0021.03.2023 Held with a web-based videoconferencing system (BigBlueButton; access details will be sent by email)Topic assignment
Wed13:00 - 18:0021.06.2023EI 1 Petritsch HS Presentations Group Tompits
Tue13:00 - 17:0027.06.2023Theresianumgasse HS 2 Presentations
Course is held blocked

Examination modalities

The assessment takes into account

  • the literature reseach,
  • the presentation draft, and
  • the presentation.

Course registration

Begin End Deregistration end
23.02.2023 14:00 06.04.2023 23:59 06.04.2023 23:59

Registration modalities

Ort: TISS Gruppe und Themenausgabe

Group Registration

GroupRegistration FromTo
Gruppe Egly23.02.2023 14:0022.03.2023 23:00
Gruppe Eiter23.02.2023 14:0022.03.2023 23:00
Gruppe Tompits23.02.2023 14:0022.03.2023 23:00



Different publications (will be announced during the seminar).

Previous knowledge

Elementary knowledge in logic.

Preceding courses