The seminar in logic aims at the presentation of most recent publications in proof theory.
The participants lecture about most recent results in proof theory, also from their own scientific publications.
Not necessary