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 August 5, 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.
Update: Registrations for participation will be considered as long there is space.
Conference program
Expected length of presentations: 30-40 min talk + 5 min discussion.
Monday, 9 September
- 10.30–10.45: Welcome and opening
- 10.45–11.15: Coffee
- 11.15–12.00: Moritz Müller (University of Passau), "On the parameterized complexity of ∆_0 truth". Abstract, Slides
- 12.00–12.45: Azza Gaysin (University of Passau), "Proof complexity of a CSP dichotomy proof". Abstract, Slides
- 12.45–13.30: Lunch
- 13.30–14.15: Mykyta Narusevych (Charles University), "Independence of the MIN principle from the PHP principle over bounded arithmetic". Abstract, Slides
- 14.15–15.00: Ondřej Ježil (Charles University), "Primes, feasible computation and reasoning". Abstract, Slides
- 15.00–15.30: Coffee break
- 15.30–16.30: Business meeting
Tuesday, 10 September
- 09.30–10.00: Coffee
- 10.00–10.45: Irène Guessarian (IRIF), "Affine completeness of some free binary algebras". Abstract, Slides
- 10.45–11.30: Ahmed Mimouni (Univ Paris Est Creteil, LACL), "The weakness of the Erdős-Moser theorem under arithmetic reductions". Abstract, Slides
- 11.30–12:15: Lunch
- 12.15–18.30: Free time/ Conference Tour
- 18.30–21.30: Official dinner
Wednesday, 11 September
- 09.30–10.00: Coffee
- 10.00–10.45: Quentin Le Houerou (Univ Paris Est Creteil, LACL), "Π^0_4 conservation of Ramsey's theorem for pairs". Abstract, Slides
- 10.45–11.30: Kenza Benjellun (Geoscience University of Trieste), "Infinite Time Turing Machines for elementary proofs on recursive reals". Abstract, Slides
- 11.30–11.45: Closing
- 11.45–12.30: Lunch
How to reach us
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)
- 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, 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.
Contact
- Patrick Cégielski (cegielski@u-pec.fr)
- Azza Gaysin (azza.gaysin@gmail.com)
Contributed papers
- Submission: August 5, 2024
- Notification: August 15, 2024
Share this page
