[Proof Complexity] JAF 44 in Prague - extension for contributed talks

[thapen]

Dear all,

Firstly, this is a reminder that the annual meeting Journées sur les 
Arithmétiques Faibles / Weak Arithmetics Days (JAF) will take place in 
Prague this year, on 8-10 September. It deals with proof theory and 
model theory around weak systems of arithmetic, and related topics. See 
https://workshop.math.cas.cz/JAF44/ for details.

Secondly, we are extending the deadline for submissions of contributed 
talks, to 7 July. If you would like to present something, please see the 
website for how to submit an abstract.

Please recirculate this to anyone who may be interested in the meeting,

Hope to see you this September,

Neil Thapen