Jan Krajíček

Charles University in Prague
Faculty of Mathematics and Physics ( Dept. of Algebra)

Contact

Bibliography

A brief professional cv (including past teaching info).


(A plan for the) 2017/18 academic year:

Student logic seminar: Games in logic.
Logic seminar.
Winter semester course: Mathematical logic.
Summer semester course: Proof complexity and the P vs.NP problem.