After successful completion of the course, students are able to    

- students will be 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