Registration

To register for the conference, please complete the registration form by 31 July 2026 AoE.

In the form, you will have the option to submit a poster and sign up for the conference dinner and excursion. Note that the submission of a poster is distinct from that of a contributed talk. Social event details are available within the form.

For inquiries, please email jaf45warsaw@uw.edu.pl.

Call for Abstracts

We invite abstract submissions for contributed talks by 1 June 2026 AoE. Following a blind review process, notifications of acceptance will be sent by 22 June 2026.

Guidelines

Submit your abstract as a PDF (up to one page, excluding references), along with the LaTeX source code.
Remove all personal details from your abstract. Provide a separate .txt file containing your full name, affiliation, and email.
Send all three files (named surname.pdf, surname.tex, and surname.txt) to jaf45warsaw@uw.edu.pl by 1 June 2026 AoE.

Topics

Themes 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, and 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 and word structures