Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

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 .

Please note that this newsitem has been archived, and may contain outdated information or links.