Charles University, Prague
Faculty of Mathematics and Physics ( Dept. of Algebra)
Bibliography (and my new book)A brief professional cv (including past teaching info).
The 2017/18 academic year:Student logic seminar (Wed. 15.4o).
Logic seminar (Mon. 14.oo).
Winter semester course: Mathematical logic.
Summer semester course: Proof complexity and the P vs.NP problem (Wed.12.2o).
Prospective MSc. and PhD. students.