#матлог #конференция

Journées sur les Arithmétiques Faibles
Weak Arithmetics Days 44

https://workshop.math.cas.cz/JAF44/

8-10 September 2025, Prague, Czech Republic
Aim. 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 JAFs.

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.

Location. Institute of Mathematics, Czech Academy of Sciences. The institute is in the centre of Prague, a few minutes walk from Wenceslas Square.

Programme. TBA; confirmed speakers

Albert Atserias, Technical University of Catalonia
Leszek Kołodziejczyk, University of Warsaw
Jan Krajíček, Charles University
Contributed papers. Authors are invited to send an abstract not exceeding three pages as an electronic submission in the form of a pdf file, to be sent both to cegielski@u-pec.fr and to thapen@math.cas.cz. Submissions are to be received before 2 June 2025. Authors will be notified of acceptance before 5 July 2025.

Registration. To register, send your details (full name, affiliation, planned dates of arrival and departure) to thapen@math.cas.cz. There is no conference fee.

Financial support. We have some funds to support students coming to Prague to attend the conference. Please contact Neil Thapen, thapen@math.cas.cz, to apply.

Contact. For any enquires contact Patrick Cégielski, cegielski@u-pec.fr or Neil Thapen, thapen@math.cas.cz.

JAF steering 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 (CAS)

Local organizing committee. Neil Thapen (CAS), Pavel Hrubeš (CAS), Ondřej Ježil (Charles University)

➰ ВК