Проведение Школы предусмотрено программами международных исследовательских проектов Европейского сообщества ИНТАС-РФФИ-97-139 COMPUTABILITY AND MODELS и ИНТАС-00-499 COMPUTABILITY IN HIERARCHIES AND TOPOLOGICAL SPACES. Она организована на базе Казахского национального университета и Института математики Национальной академии наук Казахстана.
Три предыдущие школы ИНТАС по вычислимости и моделям (Новосибирск, 4-6 мая 2000 г.; Гейдельберг, 18-19 января 2001 г.; Новосибирск, 24-26 сентября 2001 г.) заложили традицию привлечения к работе школы широкого круга специалистов по теории вычислимости и ее приложениям в логике, математике и computer science.
Как обычно, школа будет посвящена главным образом проблемам теории вычислимости и ее приложениям в логике и в computer science, и в то же время планируется ряд докладов по теории моделей. Настоящая школа является заключительной по проекту ИНТАС-РФФИ-97-139, и поэтому некоторые доклады будут посвящены итогам работы по этому проекту за предыдущие три года.
Программа школы будет состоять из докладов по приглашению, докладов по заявкам участников и дискуссий.
Издание Трудов школы планируется к началу ее работы. Представляемые к публикации электронные версии статей должны быть объемом не более 10 страниц в стандартном формате LaTeX (article, 10 pt). Статьи, подготовленные на русском языке, должны сопровождаться абстрактами как на русском языке, так и на английском.
15 апреля 2002 г. - крайний срок высылки регистрационной формы.
Представление электронных версий статей в Труды школы до 15 мая.
До 17 июня необходимо подтвердить участие в работе школы и прислать в Оргкомитет информацию о дате и времени приезда и номере рейса.
Суббота 22 июня и воскресенье 23 июня - дни заезда участников школы.
Регистрация участников состоится в понедельник 24 июня утром.
Рабочие дни школы - это 24, 25, 27, 28 июня.
Среда 26 июня запланирована для экскурсий по городу и/или прогулке в горы.
29 и 30 июня - дни отъезда участников.
Работа школы будут проходить в Институте математики, ул. Пушкина 125 (угол ул. Курмангазы, см. карту).
Оргкомитет предполагает поселить участников в гостинице Сельскохозяйственной академии.
Адрес гостиницы: ул. Фурманова, 176
Телефон администратора: 639697
Гостиница расположена в 10-15 минутах ходьбы от Института математики, близко от пересечения ул. Фурманова с проспектом Абая, напротив остановки автобусов, приезжающих со стороны аэропорта (карта).
Цены для проживания:
| место в двухместном номере | 5 USD, |
| место в одноместном номере | 10 USD, |
| номер-люкс | 20 USD, |
Предполагается бесплатное поселение молодых ученых зарубежья в двухместные номера. Оргкомитет изыскивает возможности оказания финансовой поддержки для снижения затрат на проживание иногородних участников конференции.
Если Вы желаете поселиться в в гостинице Сельскохозяйственной академии, отметьте это в регистрационной форме.
Желающие могут поселиться в 4-х звездных гостиницах Казахстан и Достык, расположенных в 200-300 м от Института математики. On-line резервирование номеров возможно через Интернет
Достаточно много кафе и закусочных находится в непосредственной близости от Института математики и от гостиницы. Обычно, на питание в Алматы уходит до 5--10 USD в день на человека. В нескольких минутах ходьбы от Института математики находятся несколько ресторанов (map).
КАК ДОБРАТЬСЯ ДО ГОСТИНИЦЫ?
Стоимость проезда в общественном транспорте Алматы (автобусах, трамваях и троллейбусах) составляет 20-30 тенге за одну поездку. Удобны маршрутные такси, так как останавливаются по требованию (проезд 30 тенге). Общественный транспорт работает примерно с 6.30 до 23.00
Вход в здание гостиницы Сельскохозяйственной академии находится с северной стороны напротив остановки общественного транспорта по улице Фурманова выше проспекта Абая.
На такси за 20 минут, днем такси стоит до 1000 тенге, ночью около 1500-2000 тенге.
На маршрутном такси № 526, остановить на остановке на Абая-Фурманова.
Такси стоит 300-500 тенге днем, ночью в два раза дороже.
На автобусе №2 и маршрутке №541 за 30-45 минут до остановки на Абая-Фурманова.
Такси доедет менее чем за 10 минут (150-200 тенге).
Маршрутка № 524 и 4-й троллейбус доезжают до остановки на Абая-Фурманова.
Регистрация участников и снабжение их материалами школы
будет проводиться в понедельник 24 июня с 8 часов 30 минут утра.
Организационный взнос школы составляет 1500 ТЕНГЕ.
Серикжан Бадаев (badaev@math.kz),
Николай Азанов (Nikolay@iab.kz),
Асель Алтаева (aselaa@mail.ru),
Ержан Байсалов (yerzhan_baisal@hotmail.com),
Наргозы Данаев (danaev48@yahoo.com),
Вячеслав Добрица (dobritsa@mail.ru),
Пердебек Досанбай (dosanbai@mail.ru),
Зариф Хисамиев (RinHis@Land.ru),
Куаныш Мейрембеков (meirembekov@yahoo.com),
Александр Женсыкбаев (azh@math.kz).
Ученый секретарь: Ержан Байсалов (yerzhan_baisal@hotmail.com)