Introduction
In the seminar we study current and interesting topics from logic, program
analysis, term rewriting, and verification. For master
students interested in these topics, the seminar provides an ideal
preparation for a
master
project in the Computational Logic group, and the seminar counts
as an official master seminar in the master curriculum.
A list of
earlier seminar reports is
available.
Supervisors
Time & Place
The seminar takes place on Wednesdays, 9:15 – 11:00 in SR 13.
Distribution of
topics and
scheduling of presentations will take place
on October 7.
Grading
For master students the grade is based on presentation,
seminar report, and active participation. For PhD students, presentation
and very active participation is taken into account.
Registration
Online registration is required until 23:59 on
September 21.