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.

2021S, SE, 1.0h, 1.5EC


  • Semester hours: 1.0
  • Credits: 1.5
  • Type: SE Seminar
  • Format: Distance Learning

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. 


Students who started their master studies in Logic and Computation before October 1, 2018 and complete their master studies before November 30, 2021 are not obliged to complete this seminar. 

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. Presentation and discussions of the Master thesis proposal (10 mins presentations + 10 mins discussion). Based on the received feedback, students should be able to develop a sound and coherent proposal (Diplomarbeitsanmeldung) of their master thesis.
  2. 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 on April 13, 2021, 11am-12o'clock, 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: 

  • April 13, 2021, 11am-12o'clock: Kick-off seminar event, general information 


  • April 27, 2021, 9am-11am: Presentation of master thesis proposals/plans - First slot (seminar responsibles: Agata Ciabattoni, Laura Kovacs)

Presentation Schedule for April 27, 2021: 

  •   9:20-9:40:   Presentation by Alexander Mandl
  •   9:40-10:00: Presentation by Andreas Lackner
  • 10:00-10:20: Presentation by Rafael Bankosegger 
  • May 25, 2021, 9am-12o'clock: Presentation of master thesis proposals/plans - Second slot (seminar responsibles: Thomas Eiter, Reinhard Pichler)


  • June 29, 2021, 9am-12o'clock: Presentation of master thesis proposals/plans - Third slot (seminar responsibles: Matteo Maffei, Günther Raidl)

  Presentation Schedule for June 29, 2021: 

  •  11:00-11:20: Presentation by Rajwardhan Kumar
  •  11:20-11:40: Presentation by Daryna Oliynyk
  •  11:40-12:00: Presentation by Florian Fischer
  • April - November 2021: Individual presentations of final results of master theses/trial presentations of master thesis defense, to be decided on an individual basis among the students and their supervisor(s)


Students are required to attend the kick-off seminar event of April 13, 2021, as well as at least two of the three seminar events focused on presenting master thesis plans/proposals (at least two events from April 27, May 25 and June 29, 2021). 

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



Course dates

Tue11:00 - 12:0013.04.2021 Zoom event: https://tuwien.zoom.us/j/98657980813?pwd=RmpwU05zcVpnRTdhQ01wbnNIeGFtUT09 (LIVE)Kick-off event, General Information
Tue09:00 - 12:0027.04.2021 Zoom event: https://tuwien.zoom.us/j/93768097640?pwd=V014UUtFbG5YcXNLeE16NFdQVzhZZz09 (LIVE)Presentations of master proposals - First Slot
Tue09:00 - 12:0025.05.2021 Zoom event: https://tuwien.zoom.us/j/94313694057?pwd=OE5SdENRRzlWeWRuZDd3Y3BYTnBNUT09 (LIVE)Presentations of master proposals - Second Slot
Tue11:00 - 12:0029.06.2021 Zoom event: https://tuwien.zoom.us/j/93758238158?pwd=NjlzZERwRVY5UXRrZzN5VzIzWjNZdz09 (LIVE)Presentations of master proposals - Third Slot

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
01.03.2021 11:00 26.03.2021 21:00 27.03.2021 21:00

Registration modalities

Please register on TISS no later than 2021-03-23, 9pm. 




No lecture notes are available.