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.
Steering and 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 cdimitr@phs.uoa.gr. Submissions are to be received until August 30, 2021. Authors will be notified of acceptance until September 27, 2021.
Registration fee. There is no registration fee. We have obtained support for coffee breaks and lunch for all participants, but we might have to charge a fee for the official dinner (more details will be available soon).
Local Organizing Committee. C. Dimitracopoulos (U. Athens), C. Cornaros (U. Aegean)
