Logic List Mailing Archive

JAF 36: Journees sur les Arithmetiques Faibles

5-7 Jun 2017
St. Petersburg, Russia

JAF 36

5-7 JUNE 2017, STEKLOV INSTITUTE OF MATHEMATICS AT ST.PETERSBURG, RUSSIA


                             FIRST ANNOUNCEMENT

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 (Hilbet's Tenth Problem and its 
generalizations, undecidability).

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, Stanislav Speranski
Secretaries: Nadya Zalesskaya (zaleska@pdmi.ras.ru),
              Tatiana Vinogradova (vinogradova@pdmi.ras.ru)

REGISTRATION:

If you want to participate, we kindly ask you to fill in the registration 
form ?n the conference webpage 
http://www.pdmi.ras.ru/EIMI/PDMI/JAF/index.html

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.

SUBMISSIONS:

Abstracts of contributed talks, in PDF and LaTeX format, not exceeding one 
A4 (11pt) page, should be submitted by May 1, 2017 to: 
jaf36@logic.pdmi.ras.ru Abstracts should be typeset following the format 
of a LaTeX style file.

IMPORTANT DATES:
Registration: by January 29, 2017
Sending the title of your talk: by January 29, 2017.
Submission of the abstract of Contributed Talks: by May 1, 2017 Notification of Acceptance: by May 15, 2017 Final programme: by May 22, 2017

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

REGISTRATION FEE:
The registration fee is 150 Euros. It is to be paid upon arrival.

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/EIMI/PDMI/JAF/index.html
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam