Universiteit van Amsterdam


Institute for Logic, Language and Computation

28 - 30 May 2018, 37th Journees sur les Arithmetiques Faibles (JAF 37), Florence, Italy

Date: 28 - 30 May 2018
Location: Florence, Italy
Deadline: Monday 2 April 2018

The 37th Journees sur les Arithmetiques Faible (Days of Weak Arithmetics) will cover traditional topics of the "Days" such as: Provability in weak arithmetics, Definability in weak arithmetics, Weak arithmetics and model theory, Decidability/undecidability of weak logical theories, and Modeling computations in the frameworks of weak arithmetics.

Authors are invited to send an abstract not exceeding three pages in electronic submission in the form of a pdf file.

For more information, see http://www.lacl.fr/jaf/issues/generalJAF37.html or contact Patrick Cégielski at .