Международная конференция по математической логике состоится в г. Новосибирске (Россия) с 10 по 15 августа 1999 г. Она посвящена 90-летию со дня рождения А.И.Мальцева (1909-1967) и 275-летию Российской Академии наук. В рамках конференции предполагается провести школу по вычислимости и теории сложности. Программный комитет конференции имеет следующий состав: Ю.Л.Ершов (председатель), С.И.Адян, Б.Купер, Е.Энгелер, С.С.Гончаров, С.Лемпп, А.Макинтайр, Л.Л.Максимова, Ю.В.Матиясевич, А.Нероуд, Х.Оно, Е.А.Палютин, М.Г.Перетятькин, А.Престель, А.А.Разборов, Х.Швихтенберг, Р.Соар, М.А.Тайцлин. Председатель организационного комитета - С.С.Гончаров.
На конференции предполагается работа секций по теории моделей, теории вычислимости, теории доказательств, логическим аспектам программирования. В качестве пленарных докладчиков приглашены: Ю.Кенигсман, Б.И.Зильбер, С.С.Старченко, У.Бергер, Д.Лейвант, Л.Беклемишев, Дж.Болдвин, Ю.Найт, П.Чолак, С.Вайнер.
Работа конференции начнется во вторник, 10 августа, после обеда и завершится в субботу, 14 августа. Предполагается, что будет четыре рабочих дня и один свободный день (экскурсии).
Тезисы докладов (не более одной страницы в текстовом формате, либо в LaTeX) будут опубликованы, и их следует высылать (должны быть получены не позднее 1 июня, 1999) по адресу:
Морозов А.С.,
Конференция по математической логике,
Институт математики, Новосибирск,
630090, Россия,
e-mail: morozov@math.nsc.ru
или могут быть поданы (используя возможности, предоставленные Атласом математических конференций) по адресу:
http://at.yorku.ca/cgi-bin/amca/submit/cacn-01
Ваш текст станет немедленно доступен для просмотра по адресу:
http://at.yorku.ca/cgi-bin/amca/cacn-01
Это происходит автоматически и не означает приема тезиса. Программный комитет проинформирует Вас о принятии/отклонении тезиса не позднее, чем 15 июня 1999 г.
Регистрационный взнос составляет для участников из стран СНГ 500 рублей (эта сумма не включает оплату гостиницы, питание, экскурсии, банкет) и должен быть уплачен по прибытии, он может быть уменьшен для участников из стран СНГ (по их просьбе).
Конференция будет проходить в Институте математики Сибирского отделения Российской Академии наук им. С.Л.Соболева. Предполагается, что участники будут проживать в гостинице "Золотая долина" или в студенческом городке Новосибирского государственного университета. Цены (за одни сутки) в гостинице на настоящий момент следующие:
Оргкомитету следует заблаговременно проинформировать гостиницу о требуемом числе мест (примерно за 1-1.5 месяца), поэтому в случае необходимости получения номера в гостинице проинформируйте нас, пожалуйста, заранее. Пожалуйста, проинформируйте нас и в случае, если Вы не собираетесь проживать в гостинице.
Вы можете зарегистрироваться, заполнив и отправив регистрационные формы по электронной почте по адресу: morozov@math.nsc.ru.
После регистрации и принятия доклада, организационный комитет вышлет Вам официальное приглашение.
Вся последняя информация находится на WWW страницах:
http://www.math.nsc.ru/conference/malmeet/99/index.html