[Proof Complexity] JAF 2019 in New York

thapen thapen at math.cas.cz
Wed Dec 5 11:34:16 CET 2018

Dear colleagues,

The 38th Journées sur les Arithmétiques Faibles / Weak Arithmetic Days 
will take place on May 28-30 2019, at the City University of New York.


The deadline for submission of abstracts is April 2, 2019.

Neil Thapen

More information about the Proof-Complexity mailing list