After successful completion of the course, students are able to...
The purpose of this seminar is the presentation and discussion of recent scientific results in the research group "Computational Logic".
Scientific presentations in the research areas of the group "Computational Logic" by members of this group and by guests.
If appropriate, joint preparation of the presentation with one of the lecturers
Presentation
Not necessary