Logic seminar
This is an archive web page that ceased to be up-to-date
in Fall'08.
The Logic seminar is intended for people doing research in
mathematical logic, including doctoral students. Talks are given
by regular participants and guests on their own work as well
as on interesting recent developments in the field. We have often
speakers from abroad, courtesy of zoom.
The prevailing theme in recent years is
proof complexity, bounded arithmetic
and logical aspects of computational complexity theory in general.
The seminars are conducted in English unless all
participants speak Czech (which seems to never happen).
There is also
Student Logic seminar
at the Charles University, intended for
undergraduate students.
The seminar was organized continuously since
early 1970's, first by
Petr Hajek for more than twenty years,
and since early 90's until summer 2008 mostly by
Jan Krajicek. Since Fall'08 the organization
has been taken up by Neil Thapen and recently by his institute colleagues.