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.

2023S, 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. 


This seminar is mandatory for all other master students who complete their master studies in Logic and Computation. 

Subject of course

This seminar involves the following tasks:

  1. Submission of initial master thesis proposal. Before the submission, the student should discuss the proposal with the supervisor.
  2. Presentation and discussions of the Master thesis proposal (10 mins presentations + 15 mins discussion). Based on the received feedback, students should be able to develop a sound and coherent final proposal (Diplomarbeitsanmeldung) of their master thesis.
  3. Seminar 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.

The seminar will start with an introductory lecture in March, given by the lecturers on Zoom (requirements for master thesis proposal and work). 

Teaching methods

All seminar events will take place online, via Zoom.

The seminar will consist of online meetings with students and online presentations of students, presenting results of their (upcoming) master thesis. These presentations are meant to train and support students in revising their master thesis plans/proposals and talks of their master thesis defense. 

Mode of examination


Additional information

The seminar schedule is as follows:

  • March 29, 2023 12:00-1300: Kick-off seminar event, general information. 
    Meeting ID: 658 4504 3073
    Password: 0krx5W5D
  • 28 April 9:00-12:30: Presentation of master thesis proposals/plans - First slot (seminar responsibles: Agata Ciabattoni & Florian Zuleger ) https://tuwien.zoom.us/j/68610829710?pwd=UmI2ZWpwVzZuRmdqYzNFc2pLaUVwQT09
    Meeting-ID: 686 1082 9710
    Password: 6h86JS2T
  • 24 May 10:30-12:30: Presentation of master thesis proposals/plans - Second slot (seminar responsibles: Elena Andreeva & Hans Tompits ) 
    Password: 64E9Yd3y
  • 19 June 9:00-12:30: Presentation of master thesis proposals/plans - Third slot (seminar responsibles: Emanuel Sallinger & Thomas Lukasiewicz )
    Meeting-ID: 810 460 3001
    Passwort: 7yrQNM3p
  • 22 June 11:00-12:30: Presentation of master thesis proposals/plans - Fourth slot (seminar responsibles: Stefan Szeider)

    Meeting ID: 620 9318 4982
    Password: KACEJ4vh


Students are required to attend the kick-off seminar event in March, as well as at least three of the fourth seminar events focused on presenting master thesis plans/proposals (at least three events from April , May and June , 2023).

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



Examination modalities

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

Students need to register only to the seminar slot in which they intend to present their master thesis proposal.

Students are however expected to (online) attend at least two seminar events that host students' presentations. 


Course registration

Begin End Deregistration end
23.02.2023 11:00 15.03.2023 22:00 01.04.2023 22:00

Registration modalities

Please register on TISS no later than 15.03.2023




No lecture notes are available.