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 the enhanced instruction in Logic and Formal Methods