[Proof Complexity] Reminder - JAF Warsaw September 16-18

[thapen]

==========================================

JAF 2026: 45es Journées sur les Arithmétiques Faibles

16-18 September 2026

Warsaw, Poland

https://jaf45warsaw.wfz.uw.edu.pl [1]

jaf45warsaw at uw.edu.pl

==========================================

REMINDER: CALL FOR PAPERS (Deadline is on 1 June 2026)
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 [2].

INVITED SPEAKERS

	* Athar Abdul-Quader [3], Purchase College
	* Ludovic Patey [4], CNRS
	* Neil Thapen [5], Czech Academy of Sciences
	* Patrick Uftring [6], University of the Bundeswehr Munich
	* Albert Visser [7], Utrecht University

SUBMISSION GUIDELINES
We invite submissions of a 1-page abstract, excluding references,
prepared for blind-review. Personal details should be provided in a
separate .txt file. All three file (named surname.tex, surname.pdf and
surname.txt) should be sent to: jaf45warsaw at 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 at 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. The paper submission deadline is
on 1 June 2026 as well. Details on the webpage
https://cieslinskibc.wfz.uw.edu.pl [8].



Links:
------
[1] https://jaf45warsaw.wfz.uw.edu.pl/
[2] https://jaf.lacl.fr/html/issues.html
[3] https://abdul-quader.com/
[4] https://www.ludovicpatey.com/
[5] https://users.math.cas.cz/~thapen/
[6] https://sites.google.com/view/patrickuftring
[7] https://orcid.org/0000-0001-9452-278X
[8] https://cieslinskibc.wfz.uw.edu.pl/