[Proof Complexity] JAF44 In Prague this September

[thapen]

Dear all,

(apologies for multiple copies)

This is a second announcement 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.

A webpage with more information is https://workshop.math.cas.cz/JAF44/

Students are encouraged to come and we have some money to support 
student travel to the meeting. Please contact me if you are interested 
in this.

The deadline to submit an abstract for a contributed talk is 2 June.

Hope to see you this September,

Neil Thapen