Logic Seminar

The seminar is usually on Mondays, from 13:30 to 15:00. The location is the Institute of Mathematics, Žitná 25, in the lecture hall on the ground floor of the rear building. The programme is announced via the mailing list.

See this page for the current programme.

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. The prevailing themes in recent years are proof complexity, bounded arithmetic and logical aspects of computational complexity theory in general. Regular participants include members of the logic group, including a number of postdoctoral visitors and Ph.D. students. The seminars are conducted in English unless all participants speak Czech (which never seems to happen).

There is also a student logic seminar at Charles University, intended for undergraduate students.

The seminar has been organized continuously since the early 1970s, first by Petr Hájek for more than twenty years, from the early 90s until the summer of 2008 mostly by Jan Krajíček, and since fall 2008 by Neil Thapen.

Kód předmětu (MFF UK): AIL056 (zimní semestr) a AIL080 (letní semestr)

Past programme 2012-2014

Programme archive for 2008 - 2011

Programme archive for 1995 - 2008

Auxiliary Links

Fall schools

Colloquia lectures

Web connections

Proof complexity mailing list

Jech's library of preprints/reprints in set theory is available to students in our department

Baby logic seminar

9/5/10 Neil Thapen