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.

2022S, SE, 2.0h, 3.0EC


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

Learning outcomes

After successful completion of the course, students are able to

  • perform a literature research for a topic or result in the intersection of logic and computer science,
  • study, understand and explain the topic or result,
  • present an implementation or application.


Subject of course

In this seminar, we discuss methods for solving problems in the realm of counting in Boolean satisfiability (SAT) and answer set programming (ASP), computational social choice, and Bayesian reasoning We focus on the design and implementation of parameterized algorithms in this area.

Teaching methods


The students have to

  • perform a literature research for a selected topic,
  • prepare a presentation draft about the chosen topic or implementing an algorithm, and
  • give a presentation of 30-45min.

Mode of examination


Additional information

ECTS Breakdown:

  • 12 hours: seminar meetings (presentations and discussions)
  • 30 hours: presentation/implementation (incl. preparation, handout etc.)
  • 33 hours: reading of relevant scientific papers

Summer Term 2022::

  • The kick-off meeting takes place online via ZOOM. The student presentation/talks will be held in person. 
  • However, we reserve the right to switch to distance learning via zoom. 
  • The following equipment is sufficient for distance learning: quiet workplace, stable internet connection, notebook with integrated camera & headset (or comparable setup)
  • We are happy to accomodate special needs. Just contact us.
Please consider the plagiarism guidelines of TU Wien when writing your seminar paper: Directive concerning the handling of plagiarism (PDF)



Course dates

Thu14:00 - 15:3031.03.2022 https://tuwien.zoom.us/j/97918968264?pwd=b0Zvdkw3OTdVVHRRK3d3N1pFK1djZz09 (LIVE)Introduction (together with 181.034 Seminar in Artificial Intelligence)
Wed16:00 - 17:3006.04.2022 https://tuwien.zoom.us/j/97991695094?pwd=eU42dit3N3lwYmRjKzFEbGRvUkVLQT09 (LIVE)Discussion (Possible Topics)

Examination modalities

Assessment is based on the elaboration and the oral presentation.

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