180.773 Seminar for Master Students in Logic and Computation
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2021W, SE, 1.0h, 1.5EC


  • Semester hours: 1.0
  • Credits: 1.5
  • Type: SE Seminar
  • Format: Online

Learning outcomes

After successful completion of the course, students are able to

- properly structure and write their master thesis proposal 

- properly prepare a research presentation describing results of their master thesis. 

Subject of course

This seminar involves the following tasks:

  1. Presentation and discussion of the Master thesis proposal (10 min + 10 min discussion). Based on the received feedback, students should be able to develop a sound and coherent proposal (Diplomarbeitsanmeldung) of their master thesis.
  2. Presentation of the most important results of the Master thesis (20 min + 10 min discussion). After this presentation, using the received feedback, student should be able to prepare a convincing presentation to be eventually presented within their Master thesis defense.


Teaching methods

The seminar will consists of individual meetings between students and their supervisors. 

Further, students will give online presentations in the seminar, presenting plans for their master thesis. These presentations are meant to train and support students in revising their master thesis proposals. Based on the received feedback, students should finalize their master thesis proposal. This proposal should be submitted to the study deans (online, following our faculty requirements), as first step towards completing their master thesis.

Finally, once the planned master thesis work is completed, students are expected to present their master thesis in the research group/unit of their supervisor. This presentation should serve as a dry run of the students' upcoming master thesis defense. 


Mode of examination


Additional information

The seminar is mandatory for all students finalizing their master studies after 2021 November. 

Kick-off meeting: November 5th, 10:00-11:00, online.


The seminar slots for presenting master thesis proposal will be

November 19th, 9-12: https://tuwien.zoom.us/j/98129985639

December 6th, 9-12: https://tuwien.zoom.us/j/94846019614

January 25th, 9-12: https://tuwien.zoom.us/j/97111764478

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



Course dates

Fri10:00 - 11:0005.11.2021 https://tuwien.zoom.us/j/95243891328 (LIVE)Kick-off meeting
Fri09:00 - 12:0019.11.2021 zoom (LIVE)1. proposal meeting
Mon09:00 - 12:0006.12.2021 zoom (LIVE)2. proposal meeting
Tue09:00 - 12:0025.01.2022 zoom (LIVE)3. proposal meeting

Examination modalities

For each student, the grading will be based on the submitted master thesis proposal  and the student seminar talk presenting results of the master thesis. 

Course registration

Begin End Deregistration end
07.10.2021 09:00 07.11.2021 10:00

Group Registration

GroupRegistration FromTo
1 . 9:15-9:4020.12.2021 09:0017.01.2022 23:59
2 . 9:40-10:0520.12.2021 09:0017.01.2022 23:59
3 . 10:05-10:3020.12.2021 09:0017.01.2022 23:59
4 . 10:30-10:5520.12.2021 09:0017.01.2022 23:59
5 . 10:55-11:2020.12.2021 09:0017.01.2022 23:59
6 . 11:20-11:4520.12.2021 09:0017.01.2022 23:59
7. 11:45-12:1020.12.2021 09:0017.01.2022 23:59
Slot 1: 9:30-9:5523.11.2021 08:0026.11.2021 08:00
Slot 2: 9:55-10:2023.11.2021 08:0026.11.2021 08:00
Slot 3: 10:20-10:4523.11.2021 08:0026.11.2021 08:00
Slot 4: 10:45-11:1023.11.2021 08:0026.11.2021 08:00
Slot 5: 11:10-11:3523.11.2021 08:0026.11.2021 08:00
Slot on December 6th, 9-1204.11.2021 10:0012.11.2021 10:00
Slot on January 25th, 9-1204.11.2021 10:0012.11.2021 10:00
Slot on November 19th, 9-1204.11.2021 10:0012.11.2021 10:00



No lecture notes are available.