Universiteit van Amsterdam

Events

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 .

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X