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.

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.

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.

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.

Assessment is based on the elaboration and the oral presentation.

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