[Proof Complexity] JAF 42 meeting

[thapen]

Dear colleagues,

The 42nd meeting Journees sur les Arithmetiques Faibles / Weak 
Arithmetic Days will take place in Karlovassi, Greece this year, 
September 25-27. Please see the attached announcement or the website 
http://mathweb.aegean.gr/jaf42/

Best,

Neil Thapen
-------------- next part --------------
A non-text attachment was scrubbed...
Name: First announcement.pdf
Type: application/pdf
Size: 40381 bytes
Desc: not available
URL: <http://list.math.cas.cz/pipermail/proof-complexity/attachments/20230113/2ae1089a/attachment-0001.pdf>