After successful completion of the course, students are 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.

Introductory overview about research areas inside Logic in Computer Science.

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.

3 ECTS (75 h):
14 Einheiten pro Semester*1h=14h
14h * 6 Semester = 84 h

oral examination

Master's degree in mathematics, computer science or philosophy with an increased knowledge of logic and formal methods