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

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.


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