Logic List Mailing Archive

CfP: JAF 44 – Weak Arithmetics Days, 8–10 September 2025, Prague (Czech Republic)

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.

Invited speakers

Albert Atserias, Technical University of Catalonia Leszek Ko�odziejczyk, University of Warsaw Jan Kraj��ek, Charles University

The deadline for submissions of contributed talks is 7 July. Please see the website for how to submit an abstract. Please recirculate this to anyone who may be interested in the meeting.

Local organizing committee: Neil Thapen (CAS), Pavel Hrube� (CAS), Ond�ej Je�il (Charles University)

JAF steering committee: Patrick C�gielski (Paris XII), Julien Cervelle (Paris XII), Andr�s C�rdon-Franco (Seville), Ali Enayat (G�teborg), Costas Dimitracopoulos (Athens), Alex Esbelin (Clermont-Ferrand), Neil Thapen (CAS)
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php