[Proof Complexity] JAF 42 meeting

thapen thapen at math.cas.cz
Fri Jan 13 13:34:01 CET 2023

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 


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>

More information about the Proof-Complexity mailing list