Отправляет email-рассылки с помощью сервиса Sendsay
  Все выпуски  

Система компьютерной алгебры GAP: Мальцевские чтения 2009



Мальцевские чтения 2009

Международная конференция по алгебре,
математической логике и приложениям,
посвященная 100-летию со дня рождения
А.И. Мальцева (1909-1967), пройдет
в Новосибирске (Россия) с 24 по 28 августа
2009 года.

Организаторы конференции - Институт
математики им. С.Л. Соболева
СО РАН и Новосибирский
государственный университет.

К участию приглашаются специалисты по
теории групп, теории колец,
универсальной алгебре, математической
логике, теории вычислимости,
математическим методам в
программировании, другим близким
разделам
математики.

Программа работы конференции будет
состоять из 30- и 50-минутных
пленарных докладов и 15-минутных
сообщений в секциях

- теории групп
- теории колец
- универсальной алгебры
- теории моделей
- теории вычислимости
- философии математики
- неклассических логик и теории
доказательств
- логических аспектов программирования
- вычислимых моделей, топологических
пространств и анализа.

Тезисы докладов будут опубликованы.
Правила оформления тезисов будут
сообщены позднее.

Конференция будет проходить в
Институте математики им. С.Л. Соболева
СО РАН.
Предполагается, что участники будут
проживать в гостинице "Золотая долина"
или в студенческом городке
Новосибирского государственного
университета.

Важные даты:

- регистрация уже началась
- окончание приема тезисов докладов: 24
апреля 2009
- извещение о принятии/отклонении
тезисов: 15 мая 2009
- окончание приема заявок на визы: 1
июня 2009
- окончание приема заявок на
размещение в гостинице: 23 июля 2009
- приезд и размещение участников: 23
августа 2009
- работа конференции: 24-28 августа 2009
- отъезд участников: 29 августа 2009

Со всеми вопросами, касающимися
участия в конференции, пожалуйста,
обращайтесь в оргкомитет:

Мальцевские чтения 2009
ИМ СО РАН,
пр. акад. Коптюга4
630090 Новосибирск, Россия

e-mail: tclab@math.nsc.ru
www: http://www.math.nsc.ru/conference/malmeet/09/index.html


В избранное