36th meeting of JAF (Journées sur les Arithmétiques Faibles), St. Petersburg, Russia
2017-06-05 - 2017-06-06 | St. Petersburg, Russia
Scope: Provability and definability in arithmetics, model theory and arithmetics, (un)decidability of arithmetics, modelling computations on logical theories. This meeting is dedicated to Yuri Matiyasevich on the occasion of his 70th birthday, and one conference day will be dedicated to topics related to the research interests of Yuri Matiyasevich (Hilbet's Tenth Problem and its generalizations, undecidability). If you want to present a talk, please send us the title and a short (not longer than one page) abstract. Abstracts of contributed talks, in PDF and LaTeX format, not exceeding one A4 (11pt) page, should be submitted by May 1, 2017.
