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.

SCOPE:

Provability and definability in arithmetics, model theory and arithmetics, (un)decidability of arithmetics, modelling computations on logical theories.

One conference day will be dedicated to topics related to the research interests of Yuri Matiyasevich (Hilbert's Tenth Problem and its generalizations, undecidability).

Group photo of all the participants.

PROGRAMME COMMITTEE:

  • Lev Beklemishev (Moscow)
  • Patrick Cegielski (Paris)
  • Andres Cordon-Franco (Seville)
  • Costas Dimitracopoulos (Athens)
  • Ali Enayat (Goteborg)
  • Alex Esbelin (Clermont-Ferrand)
  • Neil Thapen (Prague)
  • Maxim Vsemirnov (St. Petersburg)
  • LOCAL ORGANIZING COMMITTE:

    Chair: Maxim Vsemirnov
    Dmitry Karpov, Alexei Pastor, Alexandra Novikova, Stanislav Speranski
    Secretaries: Nadya Zalesskaya (zaleska@pdmi.ras.ru),
    Tatiana Vinogradova (vinogradova@pdmi.ras.ru)

    LOCATION:

    Steklov Institute of Mathematics at St. Petersburg, 27 Fontanka, St. Petersburg, Russia

    CONTACTS:

    Conference e-mail address: jaf36@logic.pdmi.ras.ru
    Secretaries: Nadya Zalesskaya (zaleska@pdmi.ras.ru),
    Tatiana Vinogradova (vinogradova@pdmi.ras.ru)
    Conference web-page: http://www.pdmi.ras.ru/pdmi/conferences/jaf36

    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).