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
If you want to participate, we kindly ask you to fill in the registration form Ón the conference webpage. If you want to present a talk, please send us the title and a short (not longer than one page) abstract. If you need a Russian visa, please check the corresponding field in the registration form and fill out the visa form. The Institute will provide you with an invitation needed for visa formalities. If, besides the invitation described above, you also need one for the administration of your institution, please, contact the coordinator Ms. Nadya Zalesskaya
For those who request a hotel in their registration form we make a preliminary reservation in accordance with their requests.
In order to prepare an application for support from the Russian Foundation for Basic Research we kindly ask you to register and send us the title of your talk by January 29, 2017.
Abstracts of contributed talks, in PDF and LaTeX format, not exceeding one A4 (11pt) page, should be submitted by May 1, 2017 to: firstname.lastname@example.org Abstracts should be typeset following the format of a LaTeX style file.
Registration: by January 29, 2017
Steklov Institute of Mathematics at St. Petersburg, 27 Fontanka, St. Petersburg, Russia
The registration fee is 150 Euros. It is to be paid upon arrival.
Conference e-mail address: email@example.com