Dates and place
September 9 to 11, 2024 IT-Zentrum of Passau University (Germany)
Topics
Proofs in arithmetic with restricted system of axioms. Nonstandard models of such systems. Decidability, undecidability, and complexity of arithmetical theories. Definability in arithmetic structures. Machines, automata and words, related to arithmetic. Finite model theory, word structures.
Paper submission
Authors are invited to send an abstract not exceeding three pages in electronic submission in the form of a pdf file to be sent both to cegielski@u-pec.fr and to azza.gaysin@gmail.com. Submissions are to be received before June 2, 2024. Authors will be notified of acceptance before July 2, 2024.
Registration of participants
To register, send your details (full name, affiliation, planned dates of arrival and departure) to azza.gaysin@gmail.com. We will have support for coffee breaks for all participants, but we will probably have to charge a small fee for lunches and the official dinner (more details will be available soon).
Steering Program Committee
Patrick Cégielski (Paris XII)
Julien Cervelle (Paris XII)
Andrés Córdon-Franco (Seville)
Ali Enayat (Göteborg)
Costas Dimitracopoulos (Athens)
Alex Esbelin (Clermont-Ferrand)
Neil Thapen (Prague)
Local Oganization Committee
Azza Gaysin (Passau University)
Contact
Patrick Cégielski
Azza Gaysin
Further information
For further information, please refer to JAF's website at the University of Passau or JAF's home page.