The workshop is a part of the international joint research projects INTAS-RFBR-97-139 COMPUTABILITY AND MODELS and INTAS-00-499 COMPUTABILITY IN HIERARCHIES AND TOPOLOGICAL SPACES. It is organized under the aegis of the Kazakh National University and the Institute of Mathematics of National Academy of Sciences of Kazakhstan.
The three earlier INTAS workshops on computability and models(Novosibirsk, May 4-6, 2000; Heidelberg, January 18-19, 2001; Novosibirsk, September 24-26, 2001) have established a tradition of inviting a wide spectrum of specialists in computability theory, and its applications to logic, mathematics, and computer science.
As usual, the workshop will be devoted mainly to computability theory and its applications to logic and computer science, but will also include several talks on model theory. This workshop is the final one for the project INTAS-RFBR-97-139, and some talks will summarize the results of the research over the previous three years.
The program will consist of invited talks, contributed talks and discussions.
Proceedings of the workshop are expected to be published by the beginning of the meeting. The papers should not exceed 10 pages in the standart LaTeX format (article, 10 pt).
The deadline for sending registration form is April 15, 2002.
The deadline for submission the electronic versions of the papers for the Proceedings is May 15.
The deadline for confirmation on arrival and for sending the information on date, time, and number of flight is June 17.
The participants are expected to arrive in Almaty on Saturday, June 22, or Sunday, June 23.
Registration will be held in the morning on Monday, June 24.
The working days of the workshop are June 24, 25, 27, 28.
Wednesday, June 26, is expected to be used for excursions to the city and/or for walking in the mountains.
Days of departure from Almaty are June 29 and June 30.
The workshop will be held mainly in the Institute of Mathematics, 125, Pushkin Street (corner of Kurmangazy Street, see map).
The Local Committee has appointed the rooms in the hotel of Agricultural Academy for accommodation.
Address of the hotel: 176 Furmanov Street
Phone number of the administrator: 639697
The hotel is situated at the distance of 10-15 minutes walk from the Institute of Mathematics, close to the corner of Furmanov Street and Abai Avenue, just against the bus stop of the busses coming from the airport (map).
The rates are
Double-bedroom accommodations are free of charge for young scientists coming from abroad. The Local Committee will make all possible efforts to find support to decrease lodging expenses for other participants.
If you would like the Local committee to make arrangements for your accommodation, please indicate this on the registration form.
Participants can also accomodate theirself in the four-star hotels Kazakhstan and Dostyk located within walking distance from the Institute of Mathematics. On-line reservation is available at
There are several snack bars, canteens, cafes, fast foods within walking distance from the Hotel and the Institute of Mathematics. Usually, 5-10 USD would be enough for a good meal per day. There are also several restaurants close to the location of the meeting (map).
Public transportation in Almaty is by bus, tram and trolley-bus. The fare is about 20 - 30 tenge. There are also route taxis which are convenient as they stop by demand( fare is 30 tenge).Public transport works from 6.30 to 23.00.How to get to the hotel?
From the Airport
It takes 20 minutes by taxi. Daytime taxi costs about 1000 tenge and
nighttime taxi is 1500-2000 tenge.
By route taxi 526 it takes about 30 minutes, bus-stop at Abai-Furmanov
Taxi costs about 300-500 tenge during the day and twice more in nighttime.
Bus 2 and route taxi 541 reach bus-stop at Abai-Furmanov in 30-45 minutes.
It takes less than 10 minutes to reach the hotel by taxi ( 150-200 tenge).
Route taxi 524 and trolley-bus 4 bus-stop at Abai-Furmanov
Registration of the participants and distribution of the conference materials
start on Monday, June 24, at 8.30, in the Institute of Mathematics.
The conference fee is 1500 TENGE.
Serikzhan Badaev (email@example.com),
Nikolay Azanov (Nikolay@iab.kz),
Asel Altaeva (firstname.lastname@example.org),
Yerzhan Baisalov (email@example.com),
Nargozy Danaev (firstname.lastname@example.org),
Vyacheslav Dobritsa (email@example.com),
Perdebek Dosanbai (firstname.lastname@example.org),
Zarif Khisamiev (RinHis@Land.ru),
Kuanysh Meirembekov (email@example.com),
Alexandr Zhensykbaev (firstname.lastname@example.org).
Sekretary: Yerzhan Baisalov (email@example.com)