[Proof Complexity] Pudlak workshop

thapen thapen at math.cas.cz
Tue Jun 7 09:00:55 CEST 2022

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

More information about the Proof-Complexity mailing list