[Proof Complexity] JAF 42 meeting - Karlovassi, Greece

thapen thapen at math.cas.cz
Wed Jun 14 16:00:36 CEST 2023

Dear colleagues,

This is a reminder that the 42nd meeting Journees sur les Arithmetiques 
Faibles / Weak Arithmetic Days will take place in Karlovassi, Greece 
this year, September 25-27. The deadline for abstracts is the end of 
June. Please see the website http://mathweb.aegean.gr/jaf42/


Neil Thapen

More information about the Proof-Complexity mailing list