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.

2024S, SE, 2.0h, 3.0EC

Course evaluation


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



Course dates

Tue15:00 - 16:0018.06.2024Seminarraum FAV 01 A (Seminarraum 183/2) Seminar LogiCS

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