Logic List Mailing Archive
CfP: JAF 2026 - 45es Journées sur les Arithmétiques Faibles, 16-18 September 2026, Warsaw (Poland)
==========================================
JAF 2026: 45es Journées sur les Arithmétiques Faibles
16-18 September 2026
Warsaw, Poland
https://jaf45warsaw.wfz.uw.edu.pl
jaf45warsaw@uw.edu.pl<mailto:jaf45warsaw@uw.edu.pl>
==========================================
FIRST CALL FOR PAPERS
ABOUT
Journées sur les Arithmétiques Faibles – Weak Arithmetics Days – is an annual conference that brings together researchers working on or applying weak arithmetics in different fields and formalisms. The 45th edition will take place on 16–18 September 2026 in Warsaw, Poland. Information about previous editions is available here<https://jaf.lacl.fr/html/issues.html>.
INVITED SPEAKERS
- Ludovic Patey, CNRS
- Neil Thapen, Czech Academy of Sciences
- Albert Visser, Utrecht University
- Patrick Uftring, University of the Bundeswehr Munich
(more to be announced)
SUBMISSION GUIDELINES
We invite submissions of a 1-page abstract, excluding references, prepared for blind-review. Personal details should be provided in a separate file. Abstracts should be sent to: jaf45warsaw@uw.edu.pl<mailto:jaf45warsaw@uw.edu.pl> by 01 June 2026. Notification of acceptance will be given by June 22 2026.
Topics of the conference include (but are not limited to):
· Proof theory of formal systems of arithmetic
· Model theory of formal systems of arithmetic
· Decidability, undecidability, complexity of arithmetical theories
· Definability in arithmetic structures
· Second-order arithmetic (including reverse mathematics)
· Machines, automata and words, related to arithmetic
· Complexity theory topics in arithmetic
· Finite model theory, words structures
IMPORTANT DATES
Paper submission: 1 June 2026
Acceptance notification: 22 June 2026
Registration deadline: 31 July 2026
Conference: 16-18 September 2026
SCIENTIFIC COMMITTEE
Ali Enayat • Leszek Kołodziejczyk • Mateusz Łełyk • Bartosz Wcisło
ORGANIZING COMMITTEE
Mateusz Łełyk • Luca Castaldo • Michał Gil Sanchez • Maciej Głowacki • Piotr Gruza • Katarzyna Kowalik • Konstantinos Papafilippou • Bartosz Wcisło • Michał Wrocławski • Matteo Zicchetti
CONTACTS
To get in touch with the organizers please write to: jaf45warsaw@uw.edu.pl<mailto:jaf45warsaw@uw.edu.pl>
FURTHER INFORMATION
On 19 September 2026, there will be a conference in Warsaw to celebrate Cezary Cieśliński’s 60th birthday. Details on the webpage https://cieslinskibc.wfz.uw.edu.pl.
--
https://sites.google.com/view/lucacastaldo
--
https://sites.google.com/view/lucacastaldo
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php