[Proof Complexity] Pudlak workshop

[thapen]

Dear colleagues,

This is a reminder that Pavel Pudlak turns 70 this year, and we are 
marking this with a workshop in Prague and the Krkonose mountains, 
running June 27 - July 1.
For details see https://workshop.math.cas.cz/HumanFace/2022/ - it is not 
too late to sign up or offer a talk.

The first day of the workshop will be an event at Villa Lanna in Prague, 
to which everyone is welcome, at which Pavel will be awarded the medal 
"De scientia et humanitate optime meritis" of the Czech Academy of 
Sciences. This is June 27, 15:00-19:00.

Please send this on to anyone who may be interested,

Hope to see you there,

Neil Thapen