Definability and decidability problems in number theory
May 6 to May 10, 2019
American Institute of Mathematics, San Jose, CA

Organizers:
Kirsten Eisentraeger, Valentina Harizanov, Jennifer Park, and Alexandra Shlapentokh

Description:
This workshop, sponsored by AIM and the NSF, will be devoted to
definability and decidability problems in number theory. 

Deadline:
November 15, 2018  

Details:
http://aimath.org/workshops/upcoming/definedecide