[FOM] JAF 38 - New York (May, 28-30) - First announcement

[Patrick Cegielski]

Dear all,

May you largely distribute the first announcement of JAF 38?

International meeting  "38th Days of Weak Arithmetics”
May 28-30, 2019 New York. 

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

https://jaf2019nyc.com 

PLACE of the meeting

The "38th DAYS" will be held at the Graduate Center of CUNY (5th avenue, 34th street, corner opposite to the Empire State Building). 


Best regards,

Patrick

-------------- next part --------------
A non-text attachment was scrubbed...
Name: jaf38.pdf
Type: application/pdf
Size: 57942 bytes
Desc: jaf38.pdf
URL: </pipermail/fom/attachments/20181111/24b65111/attachment-0001.pdf>