184.767 Research Seminar LogiCS
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


  • Semester hours: 2.0
  • Credits: 3.0
  • Type: SE Seminar
  • Format: Hybrid

Learning outcomes

After successful completion of the course, students are able to    

- students will be able to present scientific results in a way that is accessible to a general public - students will be able to identify societal and ethical aspects of scientific results.


Subject of course

Introductory overview about research areas inside Logic in Computer Science.

Teaching methods

The seminar consists of weekly in-class presentations, given by students.  - Seminar presentations will be based on a critical review of related works and newest scientific approaches in the area of the work chosen for presentation.  - Seminar presentation will include question-answering sessions between the speaker and the audience.  - Whenever applicable, tool demos and/or real-world case studies will accompany the presentation.


Mode of examination


Additional information

3 ECTS (75 h):


14 Einheiten pro Semester*1h=14h

14h * 6 Semester = 84 h


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



Examination modalities

oral examination

Course registration

Not necessary



No lecture notes are available.

Previous knowledge

Master's degree in mathematics, computer science or philosophy with an increased knowledge of logic and formal methods