Logic List Mailing Archive

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

The annual meeting Journes sur les Arithmtiques 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 Koodziejczyk, University of Warsaw Jan Krajek, 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), Ondej Jeil (Charles University)

JAF steering committee: Patrick Cgielski (Paris XII), Julien Cervelle (Paris XII), Andrs Crdon-Franco (Seville), Ali Enayat (Gteborg), 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