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.

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.

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.

ECTS Breakdown:

• 10h Talks
• 65h Preparation of presentation, seminar paper

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.

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