Logic List Mailing Archive

Methods of Logic in Mathematics II (St.Petersburg, Russia, July 2005)

International Conference
     METHODS OF LOGIC IN MATHEMATICS II
          July 18 - 24, 2005
         Saint-Petersburg, Russia
   http://www.pdmi.ras.ru/EIMI/2005/2lag/

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. Two of the tutorials will be given by Simon Thomas (Rutgers)  
and Zlil Sela (Hebrew University).

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)
    * N. Vereschagin (Moscow)
    * A. Vershik (St. Petersburg)
    * Meeri Viljanen (Helsinki)
    * Andreas Weiermann (Munster, Utrecht)
    * Boris Zilber (Oxford)
    * Yi Zhang (GuangZhou)