[Proof Complexity] Pudlak workshop

thapen thapen at math.cas.cz
Fri Mar 18 23:55:11 CET 2022

Dear colleagues,

This year, Pavel Pudlak turns 70. We will celebrate it with a workshop 
in Prague and the Krkonose mountains, running June 27 - July 1.

The website with all information is here -

Please send this on to anyone who may be interested,

Hope to see you there,

Neil Thapen

More information about the Proof-Complexity mailing list