DATES: May 30–31, June 1 2012.

VENUE: Stay connected! Soon will be announced venue for JAF31

Weaks Arithmetics Days 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 those members of communities who study or apply weak arithmetics in the different fields and formalisms.

MAIN TOPICS: The meeting will cover traditional topics of the « Days » such as:

• Provability in Weak Arithmetics
• Definability in Weak Arithmetics
• Weak Arithmetics and Model Theory
• Undecidability/decidability/complexity of weak theories
• Modelling computations in logical theories

WORKING LANGUAGE: The official language of JAF31 is English.