[Proof Complexity] Krajíček's Fest

[Jan Pich]

*******************************************************************************************************
Krajíček's Fest   -   https://www.dcs.warwick.ac.uk/~igorcarb/events/krajicek-fest/index.html 
Celebrating Jan Krajíček's 60th Anniversary and his Contributions to Logic and Complexity

Tábor, Czech Republic
September 1, 2020
*******************************************************************************************************

We would like to invite you to participate in a workshop on the Logical Foundations of Complexity Theory to celebrate Prof. Jan Krajicek's 60th anniversary. 

Preliminary list of speakers:

Pavel Pudlák (Czech Adacemy of Sciences)
Samuel Buss (University of California, San Diego)  
Neil Thapen (Czech Adacemy of Sciences)
Leszek Kołodziejczyk (University of Warsaw)  
Emil Jeřábek (Czech Adacemy of Sciences)
Moritz Müller (Universitat Politècnica de Catalunya)

The event will be followed by a 3-day workshop on Complexity Theory which will include tutorials and contributed talks. 
For more information about the workshops, please visit the website above.