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 July 15, 2024. Authors will be notified of acceptance before August 15, 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)
Address: Adalbert-Stifter Straße 12, 94032 Passau, Germany
Phone: + 49 (0) 851 6446
E-Mail: info@pension-gabriele.de
Address: Heiliggeistgasse 1, 94032 Passau, Germany
Phone: + 49 85 198 693 898
Address: Neuburger Straße 29, Passau 94032, Germany
Phone: +49 851 9 55 480
E-mail: info@hotel-spitzberg.de
Address: Untere Donaulände 4, Passau 94032, Germany
Phone: +49 851 93 15 10
E-mail: Info@Hotel-Passauer-Wolf.de
JAF 43 Tour
We will organize a joint tour on Tuesday 10.09. (presumably after the talks and before the conference dinner). First, we'll visit Veste Oberhaus on the mountain crest and enjoy the view (and maybe have some refreshments up there). Then we'll head to the National Bavarian park Halser Ilzschleife, located along the third river in Passau, the Ilz (about a 30 – 45 minute walk from the Veste). We'll reach Triftsperre Tunnel and go back the other way. This is a family hike (almost no incline) through scenic terrain. The whole route in total (without stops and breaks) takes about 2 hours, it is quite flexible and can be adapted or shortened. There are several restaurants, kiosks, resting areas and WC along the route. You can try to reach Stausee Oberilzmühle, which dams the river Ilz to form a lake. It's an additional hour round trip.
Conference Dinner
The conference dinner is planned to take place on Tuesday 10.09. at Passauer Herbstdult, one of the most beautiful and largest folk festivals in eastern Bavaria with theme park, beer tents with beer from local breweries, national food stalls and live music. It is a good opportunity to immerse yourself in Bavarian culture.
Address:Messepark Kohlbruck, 94036 Passau
The place is easily accessible from the ZOB station in the center by several buses.
Contact
- Patrick Cégielski (cegielski@u-pec.fr)
- Azza Gaysin (azza.gaysin@gmail.com)
Contributed papers
- Submission: July 15, 2024
- Notification: August 15, 2024
Will be provided as it becomes available.