The conference has a 35-year history and for the first time is held in Germany. 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. Students of the university are very welcome.
More information: https://www.uni-passau.de/en/jaf
Date: 9 to 11 of September 2024
Open to | all |
---|---|
Prior registration | requested |
Organised by | University of Passau, Chair of Mathematical logic |
Event website | https://www.uni-passau.de/en/jaf |
Contact organizer of event | azza.gaysin@gmail.com |