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.

2024S, 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

Topics in this semester:

  • See the slides in "Kommunikation"/"Communication".
  • Alternatively: here.


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

The course is planned in presence mode but may change into an online format if the COVID situation necessitates it.


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



Course dates

Thu17:00 - 18:0021.03.2024Theresianumgasse HS 1 - MWB Topic presentation
Mon09:00 - 18:0024.06.2024Theresianumgasse HS 2 Presentations
Wed13:00 - 18:0026.06.2024EI 1 Petritsch HS Presentations Group Tompits
Thu09:00 - 18:0027.06.2024Theresianumgasse HS 2 Presentations
Thu10:00 - 13:0027.06.2024Seminarraum FAV EG B (Seminarraum von Neumann) Presentations
Thu14:00 - 17:0027.06.2024Seminarraum FAV EG C (Seminarraum Gödel) Presentations
Mon14:30 - 17:0001.07.2024Seminarraum FAV 01 A (Seminarraum 183/2) Seminare 192-03
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
22.02.2024 14:00 04.04.2024 23:59 04.04.2024 23:59

Registration modalities

Ort: TISS Gruppe und Themenausgabe

Group Registration

GroupRegistration FromTo
Gruppe Egly22.02.2024 14:0020.03.2024 23:00
Gruppe Eiter22.02.2024 14:0020.03.2024 23:00
Gruppe Tompits22.02.2024 14:0020.03.2024 23:00



Different publications (will be announced during the seminar).

Previous knowledge

Elementary knowledge in logic.

Preceding courses