#
Jan Krajíček - slides accompanying some
recent lectures

[Note that the slides are not whole talks but only accompany them.]

Hilbert's problems and contemporary mathematical logic
(Prague, February 2016),

Proof complexity
(
PhD students meeting, Prague, May 2018),

The nature of proof complexity
(Oxford, July 2018),

Pseudofinite and Euler structures
(Pultr's meeting, Prague, October 2018),

Logical foundations of complexity theory (Cook's meeting, Toronto, May 2019),

What is proof complexity?
(16.Congress LMPST,
Prague, August 2019),

Model theory and proof complexity
(Logic Colloquium, Prague, August 2019)