Sanctioned by the American Mathematical Society

and supported by the US National Science Foundation

Methods of Logic in Mathematics III
June, 2006 Payment Options
(First Announcement Below)

Early Registration Payment (Before May 15, 2006) $200.00:

Standard Registration Payment $240.00:

Most registrants will need a visa to attend this meeting.  To obtain a visa for your visit there are three alternatives:

1. Apply for a tourist visa in your own country, either through the Russian Consulate or a Travel Bureau.
2. Apply for a visa invitation from the Euler Institute ($30.00). It is sent to you and with this you apply for a business/scientific visa at a Russian Consulate in your home country
3. Apply for a visa invitation from the Euler Institute ($30.00) and have the Euler Institute send the invitation and hotel voucher to you. With these documents you apply for a tourist visa at a Russian Consulate in your home country.

Using alternative 3. typically gets your Visa Invitation to you more quickly (in a few days rather than weeks or months) since it doesn't require that the Euler Institute send a hard copy of the invitation. As a result the visa process is shortened somewhat.  Information concerning your request of a Visa Invitation from the Euler Institute is located at:

http://www.pdmi.ras.ru/EIMI/2006/MLM3/visa.html

You will find there online application blank and links to payment facilities.

The fee for the Visa Invitation is $30.00 and must be paid before the request is processed by the Euler Institute.  Payment for the Visa Invitation is a separate transaction that can be completed here.

Visa Invitation Payment $30.00:

METHODS OF LOGIC IN MATHEMATICS III
First Announcement

June 1 - 7, 2006

Saint-Petersburg, Russia

This is the third meeting in a series of meetings which take place every summer in the Euler International Mathematical Institute in St. Petersburg.

The main themes of the meeting include model theory, set theory and connections of these areas with other areas of mathematics and computer science.

The meeting will consist of invited talks, contributed paper sessions and tutorials. The tutorials will be given by Andrei Morozov (Novosibirsk) on Computability and Symmetry and by Alexei Myasnikov (CUNY) on Asymptotic Algebra and Cryptography.

We invite contributed talks. The deadline for sending abstracts of contributed talks is April 1, 2006. Abstracts of contributed talks have to be sent to the following electronic mail address: abstract@imi.ras.ru.

Invited speakers of the conference include: P. Andreev I. Ben-Yaacov A. Blass L. Beklemishev E. Gordon T. Hyttinen O. Kharlampovich B. Kastermans I. Lysenok N. Makarenko Yu. Matiyasevich G. Mints A. Morozov A. Myasnikov V. Remeslennikov M. Rosso M. Taitslin V. Tolstykh B. Velickovic T. Yavorskaya R. Yavorsky

The Program Committee of the conference consists of:

Andreas Blass (Michigan) Su Gao (North Texas) Edward Griffor (Michigan) Alexander Kechris (Caltech) Igor Lysenok (Moscow) Yuri Matiyasevich (St Petersburg) Alexandr Razborov (Moscow, Princeton) Juris Steprans (Toronto) Vladimir Tolstykh (Istanbul) Anatoly Vershik, co-chair (St.Petersburg) Yi Zhang, co-chair (GuangZhou) Boris Zilber (Oxford) Anatoly Yakovlev (St Petersburg) The Organizing Committee consists of Anatoly Vershik, Yi Zhang, Andreas Blass, Edward Griffor, Anatoly Yakovlev, and Elena Novikova. The cultural activity is to visit the state museum Hermitage.

REGISTRATION AND FEE You can register to take part in the conference at http://www.pdmi.ras.ru/EIMI/2006/MLM3/app.html The conference fee is 240 U.S. dollars.

Looking forward to seeing you in St.Petersburg.

(Organizing Committee of Methods of Logic in Mathematics III)