Sanctioned by the American Mathematical Society

and supported by the US National Science Foundation

Methods of Logic in Mathematics IV
June, 2007

(First Announcement Below)

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/2007/LEMC/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:

FIRST ANNOUNCEMENT

The Organizers of the Methods of Logic in Mathematics Series are pleased to announce MLM 2007 in conjunction with the international conference:

LEONHARD EULER AND MODERN COMBINATORICS:
Applications to Mathematical Logic, Representation Theory, Mathematical Physics and Geometry

Dates: June 1 - 7, 2007

Place: EIMI, St.Petersburg, Russia

Organizers and sponsors

• St.Petersburg Department of Steklov Institute of Mathematics of RAS (POMI RAN)

• Euler International Mathematical Institute (EIMI)

• Russian Foundation for Basic Research (RFBR)

• National Science Foundation, USA (NSF)

• St.Petersburg Mathematical Society

Program Committee

• A. Blass (Univ. of Michigan, USA)

• E. Griffor (Univ. of Michigan, USA)

• A. Kechris (Caltech, USA)

• A. Lubotzky (Hebrew Univ., Israel)

• Yu. Matiyasevich, vice-chairman (POMI, St.Petersburg)

• A. Okounkov (Berkeley, USA)

• A. Razborov (Princeton, USA; MIAN, Moscow)

• W. Rytter (Warsaw Univ., Poland)

• J. Steprans (York Univ., Canada)

• A. Vershik, chairman (POMI, St.Petersburg)

• Zhang Yi, vice-chairman (Sun Yat-sen Univ., China)

The conference will focus on providing an overview of Euler's contributions to mathematics and will try to draw a broad  picture of modern combinatorics and its applications.

The logic part of the conference is presented within the framework of the  "Methods of Logic in Mathematics 2007" project, which is supported by the NSF (USA).

Tentative Talks:

• A. Bjoerner

• J. Brendle

• O. Belegradek

• M. Bozejko

• M. Di Nasso

• D. Feichtner-Kozlov

• S. Fomin

• J. Karhum??ki

• D. Jackson

• A. Hora

• E. Hrushovsky

• B. Kastermans

• S. Lando

• A. Louveau

• A. Lubotzky

• V. Malyshev

• A. Nabutovsky

• J. Nesetril

• N. Obata *

• G. Olshansky

• V. Pestov

• B. Poizat

• A. Raigorodsky

• N. Reshetikhin

• M. Rosso

• S. Thomas

• X. Viennot

• R. Wilson *

• S. Yuzvinsky

A special day of the meeting will be devoted to short talks by young mathematicians. The conference fee is 240 USD. For Russian participants who work inside Russia, the fee will be covered by a grant from the Russian Basic Research Foundation (if our application is approved). Unfortunately we can not reimburse the expenses of foreign participants through the Russian grants. People who work outside Russia should find their own resources to support their trip.

On the other hand, we will provide complementary lunches and the conference banquet admission for all conference participants.

Please, let us know whether you will take part in the conference and fill in the registration form at our conference site:

http://www.pdmi.ras.ru/EIMI/2007/LEMC/.

You can find information about visas at our site.

We ask you to send the abstracts of your talk by e-mail: lemc@imi.ras.ru.

The Organizing Committee