181.206 Logic seminar
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: Presence

Learning outcomes

After successful completion of the course, students are able to...

  • give on overview on the state-of-the-art of a selected research topic in the field of Logic in Computer Science
  • to find the relevant literature for a topic from Logic in CS.
  • to give an scientific talk on a topic from Logic in CS.

Subject of course

We use selected chapters of Proceedings of major conferences (e.g. Proceedings of the Conference on Principles of Knowledge Representation and Reasoning) and recent handbooks in the field to gain an overview of current research in the field.

Teaching methods

Scientific work in the area logic in CS (in particular, written elaboration and presentation of a topic in AI research).

Students, in agreement with the lecturers, select a topic and starting from the conference proceedings of a major conference perform a literature research on that topic. They work out an overview on the state-of-the-art of the topic and give a oral presentation on that topic in the seminar.

Mode of examination


Additional information

ECTS Breakdown:

  • 10h Talks
  • 65h Preparation of presentation, seminar paper
Please consider the plagiarism guidelines of TU Wien when writing your seminar paper: Directive concerning the handling of plagiarism (PDF)



Course dates

Thu10:00 - 11:0007.03.2024Seminarraum FAV EG C (Seminarraum Gödel) kick-off Meeting

Examination modalities

The assessment takes into account the

  • quality of the elaboration of the topic,
  • the quality of the oral presentation and
  • the active participation in the presentations of the other students.

Course registration

Not necessary



No lecture notes are available.

Previous knowledge

Participants are expected to have some (basic) knowledge in mathematical logic.


if required in English