[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 -
https://users.math.cas.cz/~talebanfard/ws22/

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