Čķōīšģąöčīķķą˙ ńčńņåģą "Źīķōåšåķöčč"

The 9th Asian Logic Conference

16-19 August, 2005

Novosibirsk, Russia


Visa information

The 9th Asian Local Conference on Logic (ALC'2005) is the ninth in the series of logic conferences, which is held once every three years and rotates among countries in the Asia-Pacific region with interests in the broad area of logic including theoretical computer science.
In the past, there were eight meetings in Singapore (1981), Bangkok, Thailand (1984), Bejing, China (1987), Tokyo, Japan (1990), Singapore (1993), Bejing, China (1996), Hsi-Tou, Taiwan (1999), and Chongqing, China (2002).
This conference is now considered a major conference in this field and is regularly sponsored by the Association for Symbolic Logic.

In 2005, the conference takes place in Novosibirsk (Akademgorodok) at the Sobolev Institute of Mathematics SB RAS, August 16-19.

The purpose of the conference is to facilitate interactions between researches interested in the mathematical logic, logic in computer science, and philosophical logics. It aims at promoting activities of mathematical logic in the Asia-Pacific so that logicians both from within Asia and elsewhere would get together and exchange information and ideas.

Up to now, the following specialists in logic accepted our invitation to give a plenary lecture at the conference (in alphabetical order):
      Pavel  Alaev (Russia)
        Lev   Beklemishev (Russia, Netherlands)
          Su   Gao (USA)
       Yurii  Ershov (Russia)
    Sanjay   Jain (Singapore)
Vladimir   Kanovei (Russia)
Bakhadyr  Khoussainov (New Zealand)
    Andrei   Mantsivoda (Russia)
         Joe   Miller (USA)
Hiroakira  Ono (Japan)
Vladimir   Rybakov (Russia, Great Britain)
Masahiko  Sato (Japan)
    Moshe  Vardi (USA)
    Andrei  Voronkov (Great Britain)
    Xishun  Zhao (China)

Organized by:

- Sobolev Institute of Mathematics of the Siberian Branch of the RAS
- Novosibirsk State University :
     The Department of Mechanics and Mathematics


- The Russian foundation for basic researche
- The Association for Symbolic Logic
- The Department of Mechanics and Mathematics
- The Siberian foundation for Algebra and Logic
- The Novosibirsk Center of Information Technologies «UniPro» Co., Ltd.
- LLC "Alekta"
- Transtext" Co. Ltd.

Conference Topics:

Topics of interest include, but are not limited to:
  recursion theory,
  set theory,
proof theory,
model theory and universal algebra,
non-classical logic,
logic in computer science. 


Conference Program

Programm Committee:

Sergey Goncharov - Chairman
Chi Chong
John Crossley
Decheng Ding
Rodney Downey
Yuri Ershov
Qi Feng
Bakhadyr Khoussainov
Larisa Maksimova
Andrei Morozov
Hiroakira Ono
Dmitry Pal'chunov
Evgeny Palyutin
Shih Ping Tung
Mariko Yasugi

Organizing Committee:

Andrei Morozov - Co-Chairman
Sergei Odintsov - Co-Chairman
Aleksandr Kravchenko - Secretary
Pavel Alaev
Stanislav Bereznyuk
Asylkhan Khisamiev
Nurlan Kogabaev
Galina Morozova
Veta Murzina
Alexey Stukachev
NIkita Vinokurov
Dmitrii Vlasov
Yue Yang

Submit and Registration:

Visa information

The preferable way of submitting your abstract and registering is via our conference information system (Application)

If it is not available to submit your abstract in such a way,
please send it by e-mail in the PDF format to alc9@math.nsc.ru
or send a hard copy to

The 9th Asian Logic Conference
Sobolev Institute of Mathematics,
Siberian Branch of the Russian Academy of Sciences,
4 Acad. Koptyug avenue,
630090 Novosibirsk, Russia

The abstract submitted to our web-site can be of arbitrary form, but of reasonable length.


The organisers plan to publish a collection of abstracts of accepted talks (in English).
The requirements are as follows:
authors prepare TeX-files of their abstracts;
the preamble should be taken from here or available as a head2005.zip(1kb);
abstracts should be at most 2-pages long (5 pages for invited lecturers).

The organisers plan to publish the Proceedings volume of the Conference, which would like to publish at the World Scientific Publishers in 2006. Information about the publication in the Proceedings volume of Conference is HERE.

Important Dates:

The submission deadline of abstracts of contributed talks March 20, 2005
The notification of acceptance of your submission March 31, 2005
The deadline for abstracts submitted for publication April 30, 2005
The deadline for participants registration April 30, 2005

Registration fee:

before 15.07.2005 after 15.07.2005
Registration fee USD 120/ NZ$ 170 USD 150/ NZ$ 210
Reduced registration fee for PhD-students and people from countries with low currency USD 65/NZ$ 90 USD 80/NZ$ 115)

Registration fee covers conference proceedings, coffee-breakes and cultural programm.
To make payment procedure easier the registration fee is gathered by Computer science department of Aucklend University. Due to this reason the amounts in NZ$ are indicated. To pay registration fee fill in the form Registration.rtf (8 kb) and fax it to Anita Lai at 64 9 37 37453.


The Orgcommittee will reserve the rooms for participants and accompanying persons at the Golden Valley hotel (www.gold-valley.academ.org), 10 minutes walk from the conference location. Please do not contact directly to hotel. Prices for participants (in USD):
single room: from $30 to $65 per night,
double room: from $50 to $65 per night.
Prices for accompanying persons are from $60 to $130 for a single room and from $50 to $75 for a bed in double room.

Local transportation

Participants will be met at the Novosibirsk airport and taken to the hotel by special transport. The Organizing Committee asks the participants to inform in advance about arrival date, time and flight number to arrange the meeting at the airport of Novosibirsk. As you leave arrival gates, please, look for the "Asian Logic Conference" sign. If, by some reason, you will not be met, you can take bus 808 to Akademgorodok. Its terminal stop is “Golden Valley Hotel” (“Gostinitsa Zolotaya Dolina”). If you wish to take taxi, please, notice that the normal cost does not exceed 400–500 Rubles (15–20 US dollars).

At the railway station, take a (small) bus 15 or 1015.

Credit cards and currency

Although credit cards are not widely accepted, this is not a problem to receive cash at ATM or in bank. There are several banks near the hotel, and most of them work with Visa, MasterCard, and some other popular systems.
It is very easy to exchange US dollars or Euros into Rubles. The closest office is on the ground floor of the hotel. Approximate rates this morning were 1 USD = 28.4 RUR and 1 EUR = 35 RUR. If you want to change cash into rubles, please bring only new money, having no defects, scratches, ink or other marks, holes, ultraviolet defects, etc. Otherwise a bank may refuse to change your money or offer you a reduced rate (usually about 90–92% of the original rate).
Never change money illegally at streets; your profit will not exceed 1–2% but you may be cheated!


The electric current in Russia is 220 V (50 Hz). Plugs and sockets are the same as in the Continental countries of the European Union.

Time difference

Time in Novosibirsk is 6 hours ahead of GMT.


The registration of the participants will take place on August 15, Monday, from 4 p.m. at the Hotel "Golden Valley", and on August 16, Sunday, from 8.30 in the The Sobolev Institute of Mathematics SB RAS (foyer of conference hall, 3 floor).

Additional information:

Attention! The ASL will make available modest travel awards to graduate students in logic and to recent Ph.D.'s. More information is here http://www.aslonline.org/studenttravelawards.html


Address: The 9-th Asian Logic Conference
Sobolev Institute of Mathematics
Siberian Branch of the Russian Academy of Sciences
4, Acad. Koptyug avenue
Russia, 630090


+7 383 333 28 94 (Odintsov Sergei Pavlovich)
Fax: +7 383 333 25 98


WEB: http://www.sbras.ru/ws/ALC-9/

Mail to Webmaster
|Home Page| |English Part| [SBRAS]
Go to Home
© 1996-2000, Siberian Branch of Russian Academy of Sciences, Novosibirsk
    Last update: Tuesday, 27-Sep-2005 16:17:30 NOVST