[FOM] JAF 37 - Villa Finaly (Florence, Italy) - First announcement

[Patrick Cegielski]

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: winmail.dat
Type: application/ms-tnef
Size: 138234 bytes
Desc: not available
URL: </pipermail/fom/attachments/20180202/ce6df998/attachment-0001.bin>