28-30 May 2018
Florence, Italy
Dear all, The International meeting "37th Days of Weak Arithmetics? JAF 37 (Journées sur les Arithmétiques Faibles) will held May 28-30, 2018 at Florence, Italy MAIN TOPICS For a detailed description of what are "Weak Arithmetics" visit http://www.lacl.fr/jaf/html/wa.html The meeting 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 Modeling computations in the frameworks of weak arithmetics SUBMISSION of papers: See joint file for details REGISTRATION Please visit http://www.lacl.fr/jaf/issues/generalJAF37.html and fill up registration file. Registration is open. Participants at the conference should be aware the first 30 registered persons will benefit of support for lunches and special dinner. Villa Finaly has 25 bedrooms (70/100 euros for standard ones, 90/135 euros for historical ones), booking in the order of registration. PLACE of the meeting The "37th DAYS" will be held at the Villa Finaly (Universita di Parigi, 50139 Firenze. Via Bolognese, 134 R). Best regards, Patrick -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam