Journées sur les Arithmétiques Faibles, JAF 36
5-7 JUNE, 2017
STEKLOV INSTITUTE OF MATHEMATICS AT ST.PETERSBURG, RUSSIA
The 36th meeting of JAF (Journées sur les Arithmétiques Faibles) will be held in St. Petersburg, Russia from June 5 till June 7, 2017. This meeting is dedicated to Yuri Matiyasevich on the occasion of his 70th birthday.
Provability and definability in arithmetics, model theory and arithmetics,
(un)decidability of arithmetics, modelling computations on logical theories.
LOCAL ORGANIZING COMMITTE:
Chair: Maxim Vsemirnov
Steklov Institute of Mathematics at St. Petersburg, 27 Fontanka, St. Petersburg, Russia
Conference e-mail address: firstname.lastname@example.org
The conference is partially supported by the Government of the Russian Federation (Grant 14.Z50.31.0030) and by the Russian Foundation for Basic Research (RFBR grant 17-01-20189).