Please note that this newsitem has been archived, and may contain outdated information or links.
5 - 7 June 2017, 36th meeting of JAF (Journées sur les Arithmétiques Faibles), 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.
Please note that this newsitem has been archived, and may contain outdated information or links.