[PHILOS-L] JAF 2026: EXTENDED DEADLINE CFP
Maciej Głowacki
CAUTION: This email originated outside of the University. Do not click links unless you can verify the source of this email and know the content is safe. Check sender address, hover over URLs, and don't open suspicious email attachments. |
==========================================
JAF 2026: 45es Journées sur les Arithmétiques Faibles
16-18 September 2026
Warsaw, Poland
https://jaf45warsaw.wfz.uw.edu.pl
Extended deadline: 15 June 2026
==========================================
CALL FOR PAPERS (EXTENDED DEADLINE)
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.
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: jaf45...@uw.edu.pl by 15 June 2026. Notification of acceptance will be given by June 29, 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: 15 June 2026
Acceptance notification: 29 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: jaf45...@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.
Philos-L "The Liverpool List" is run by the Department of Philosophy, University of Liverpool https://www.liverpool.ac.uk/philosophy/philos-l/ Messages to the list are archived at http://listserv.liv.ac.uk/archives/philos-l.html. Recent posts can also be read in a Facebook group: https://www.facebook.com/PhilosL/ Follow the list on Twitter @PhilosL. Follow the Department of Philosophy @LiverpoolPhilos To sign off the list send a blank message to philos-l-unsub...@liverpool.ac.uk.