[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.

https://jaf2019nyc.com/

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

Neil Thapen


More information about the Proof-Complexity mailing list