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
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.
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 August 5, 2024. Authors will be notified of acceptance before August 15, 2024.
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.
Update: Registrations for participation will be considered as long there is space.
Expected length of presentations: 30-40 min talk + 5 min discussion.
Venue: Room R017, IT-Zentrum of Passau University (the first floor).
Address: Innstraße 43, 94032 Passau, Germany.
The University's contact pages include maps and directions for your first visit to the University.
Most parts of the University of Passau are within walking distance – and the same is true of Passau itself. For a quick overview, see the city map with University buildings and the campus map.
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)
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
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.
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, Dultstadl, Brauerei Hacklberg side, box 1/2 (away from the music). There are three tables reserved for "University of Passau - Logic and Friends".
The map of the festival.
The place is easily accessible from the ZOB station in the center by several buses, for example buses with numbers 2, 5, 6, 8. For the precise time, you can use application Pubtran.
