[Proof Complexity] Krajíček's Fest

Jan Pich janpich at yahoo.com
Tue Jan 28 06:59:55 CET 2020

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.

More information about the Proof-Complexity mailing list