[FOM] JAF 37 - Villa Finaly (Florence, Italy) - First announcement
Patrick Cegielski
cegielski at u-pec.fr
Wed Oct 18 04:27:37 EDT 2017
Dear all,
International meeting "37th Days of Weak Arithmetics”
May 28-30, 2018 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 22 bedrooms (70/100 euros for 15 standard ones, 90/135 euros for 5 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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: winmail.dat
Type: application/ms-tnef
Size: 75302 bytes
Desc: not available
URL: </pipermail/fom/attachments/20171018/dd48ba32/attachment-0001.bin>
More information about the FOM
mailing list