Journées sur les Arithmétiques Faibles 2024 (JAF 43)
Weak Arithmetics Days 2024
9 to 11 of September 2024, Passau University (Germany)
Aim of the conference
Weak Arithmetics play a fundamental role in several areas of philosophy, mathematics, and computer science by studying the nature and properties of natural numbers from a logical point of view. The aim of the conference is to provide a forum for researchers to present their results to members of communities who study or apply weak arithmetics in various fields and formalisms.
Previous locations of JAF were for instance in Lyon (1990), Paris (1990), Clermont-Ferrand (1991), Fontainebleau (1994), Metz (1996), St-Petersburg (1997), Mons (1997), Warsaw (1998), New-York (1999), Naples (2003), Yerevan (2004), Sevilla (2007), Athens (2008), Samos (2012), Göteborg (2014), Lisbon (2016), and Florence (2018): https://www.lacl.fr/jaf/html/issues.html
Topics
Proofs in arithmetic with restricted system of axioms. Non-standard 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).
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)
- Azza Gaysin (Passau University)
Contact
- Patrick Cégielski (cegielski@u-pec.fr)
- Azza Gaysin (azza.gaysin@gmail.com)
Contributed papers
- Submission: June 2, 2024
- Notification: July 2, 2024
Will be provided as it becomes available.