[Proof Complexity] J.Avigad's talk

[Jan Krajicek]

 Dear colleagues,

 Jeremy Avigad (Carnegie Mellon U.) will give a talk about

 "Interactive theorem proving for the working logician"

in our Logic seminar the coming Monday, see

 https://calendar.math.cas.cz/logic-seminar-actual

It promises to be also of a general interest for proof complexity
people, see the abstract on the page above.

                             Best regards,

                                          Jan