Logic seminar

This is an archive web page that ceased to be up-to-date in Fall'08.

The current program is listed at the actual seminar web page and you can subscribe to the seminar mailing list.

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.

Program archive: 1995 -- summer 2008.

Old colloquia.