After successful completion of the course, students are able to...
- present scientific results in a way that is accessible to ageneral public - students will be able to identify societal and ethical aspects ofscientific 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 andnewest scientific approaches in the area of the work chosen for presentation. -Seminar presentation will include question-answering sessions between thespeaker and the audience. - Whenever applicable, tool demos and/or real-worldcase studies will accompany the presentation.
3 ECTS (75 h):14 Einheiten pro Semester*1h=14h14h * 6 Semester = 84 h
oral examination
Master's degree in mathematics, computer science or philosophy with an increased knowledge of logic and formal methods
