Home Scientific Programme Timetable Registration Participant List

42nd Weak Arithmetic Days 42ème Journées sur les Arithmétiques Faibles

September 25–27, 2023, Karlovassi, Greece

  • Maths Department

  • Maths Department

  • Maths Department

  • University Library

  • Karlovassi Town Hall

  • Karlovassi

  • Karlovassi

  • Karlovassi

  • Karlovassi

  • Karlovassi

  • Bathi (Capital of Samos)

  • Bathi

  • Bathi

  • Kokkari

  • Kokkari

  • Marathokampos

  • Pythagoreion

  • Pythagoreion

  • Pythagoreion

  • Pythagoreion

  • Pythagoras Statue

  • Manolates

  • Manolates

  • Iraion

  • Iraion

  • Iraion

  • The Kouros of Samos

  • Ancient town of Samos

  • Ancient town of Samos

  • Tunnel of Eupalinos

  • Pythagoras

  • Potami

  • Tsamadou Beach

  • Potokaki

  • Psili Ammos

  • Livadaki Beach

Department of Mathematics, University of Aegean, Greece


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.

Program Committee. P. Cégielski (U. Paris XII), J. Cervelle (U. Paris XII), A. Cordón-Franco (U. Seville), C. Dimitracopoulos (U. Athens), A. Enayat (U. Göteborg), A. Esbelin (U. Clermont-Ferrand), N. Thapen (Czech A. Sciences, Prague)

Topics. Proofs in arithmetic with restricted systems 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.

Paper submission. Authors are invited to submit abstracts not exceeding three pages in the form of a pdf file to kornaros@aegean.gr. Submissions are to be received until June 30, 2023. Authors will be notified of acceptance until July 30, 2023.

Registration. To register, please send your details (full name, affiliation, planned dates of arrival and departure) to kornaros@aegean.gr There is no registration fee. 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).

Local Organizing Committee. C. Cornaros (U. Aegean), C. Dimitracopoulos (U. Athens)