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
Not necessary
Master's degree in mathematics, computer science or philosophy with an increased knowledge of logic and formal methods