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 are no fees and we have obtained support for coffee breaks, light lunches and the official dinner for all participants. We are trying to obtain support for offering free accomodation to all participants and partial reimbursement for the travel expenses of young researchers (more details will be available soon).
Local Organizing Committee. C. Cornaros (U. Aegean), C. Dimitracopoulos (U. Athens)
Jaf42 Poster