International Conference
METHODS OF LOGIC IN MATHEMATICS II
July 18 - 24, 2005
Saint-Petersburg, Russia
FIRST ANNOUNCEMENT
The meeting "Methods of Logic in Mathematics", July 18-24, 2005
will take place in St. Petersburg in the Euler Mathematical Institute.
The meeting is endorsed by the Russian Academy of Sciences
and the American Mathematical Society and financially supported
by the National Science Foundation.
This is the second 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 computability theory, model theory,
set theory and connections of these areas with other areas of
mathematics, most notably algebra, geometry and arithmetic.
The meeting will consist of invited talks,
contributed paper sessions and tutorials.
Three of the tutorials will be given by Simon Thomas
(Rutgers), Zlil Sela (Hebrew University) and Nikolay Vereschagin (Moscow).
We invite contributed talks. The deadline for sending abstracts of
contributed talks is May 1, 2005. Abstracts of contributed talks have to
be sent to the following electronic mail address:
abstract@imi.ras.ru
Invited speakers of the conference include:
- Marat Arslanov (Kazan)
- Andrey Bovykin (Liverpool)
- Su Gao (North Texas)
- Sergey Goncharov (Novosibirsk)
- Evgeniy Gordon (Eastern Illinois)
- Edward Griffor (Michigan)
- Wilfrid Hodges (QMC London)
- Tapani Hyttinen (Helsinki)
- Jose Iovino (San Antonio)
- Iskander Kalimullin (Kazan)
- Bart Kastermans (Michigan)
- Ilia Kazatchkov (Omsk)
- Igor Lysionok (Moscow)
- Ilia Ponomarenko (St. Petersburg)
- Zlil Sela (Hebrew University)
- Neil Thapen (Oxford)
- Simon Thomas (Rutgers)
- Vladimir Tolstykh (Istanbul)
- Nikolay Vereschagin (Moscow)
- Anatoly Vershik (St. Petersburg)
- Meeri Viljanen (Helsinki)
- Andreas Weiermann (Munster, Utrecht)
- Boris Zilber (Oxford)
- Yi Zhang (GuangZhou)
The Program Committee of the conference consists of:
- Marat Arslanov (Kazan)
- Andreas Blass (Michigan)
- Andrey Bovykin (Liverpool)
- Su Gao (North Texas)
- Edward Griffor (Michigan)
- Jan Krajicek (Prague)
- Alexandr Razborov (Moscow, Princeton)
- Robert Soare (Chicago)
- Juris Steprans (Toronto)
- Anatoly Vershik, co-chair (St.Petersburg)
- Yi Zhang, co-chair (GuangZhou)
- Boris Zilber (Oxford)
The Organizing Committee consists of
Anatoly Vershik, Yi Zhang, Edward Griffor, Andreas Blass,
Elena Novikova and Andrey Bovykin.
REGISTRATION AND FEE
You can register to take part in the conference at
http://www.pdmi.ras.ru/EIMI/2005/2lag/app.html
The conference fee is 240 U.S. dollars. However, early registration
(before May, 1) will make it 200 U.S. dollars. We strongly recommend to
pay on-line. The procedure is described on the registration page above.
ACCOMMODATION
There are several hotels within walking distance from the Euler Institute.
The rooms have to be reserved well in advance to be sure of availability.
More information can be found on the webpage:
http://www.pdmi.ras.ru/EIMI/2005/hotels.html
Please mention it in your registration form if you need our help to
reserve accommodation or contact Elena Novikova by email at
novikova@pdmi.ras.ru
VISA
At the moment, citizens of many countries need a visa to enter Russia.
There are many tourist agencies in every country readily selling tourist
visas to Russia. There is also a possibility to apply for a visa
invitation via
the Euler Institute. The webpage
http://www.pdmi.ras.ru/EIMI/2005/2lag/visa.html
is devoted to the visa procedure for participants of our conference.
Please note that it may take some time to obtain a visa. Thus, we strongly
recommend that you apply at least 2 months in advance.
Looking forward to seeing you in St.Petersburg.
Organizing Committee of
Methods of Logic in Mathematics II