Конференция нәтижелерi

В жизни кафедры «Высшая математика» произошло значительное мероприятие. При поддержке Министерства образования и науки Республики Казахстан с 30 августа по 1 сентября 2009 года в стенах университета ВКГТУ прошла Международная научная конференция «Вычислимость и модели», организаторами которой явились члены кафедры.

Конференция проведена на основании Плана международных и республиканских научных и научно-технических мероприятий, проводимых высшими учебными заведениями МОН РК в 2009 году.

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

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

Важно отметить, что впервые конференция такого уровня была выездной, так как проходила на базе отдыха ВКГТУ «Простор». Открытие конференции состоялось в зале заседаний нового корпуса 30 августа 2009 года. На пленарном заседании к участникам и гостям с приветственным словом обратился проректор по науке и международным связям ВКГТУ им. Д. Серикбаева, д.т.н., профессор Абулхаиров Д.К. и декан механико-математического факультета НГУ, зав. отделом алгебры и математической логики д. физ.-мат. наук, профессор, член-корр. РАН С.С. Гончаров.

География участников, выступавших на конференции была широкая – это Новосибирск, Омск, Владивосток, Казань, Алматы, Астана, Тараз, Усть-Каменогорск.

В работе конференции приняли участие доктора физико-математических наук, профессора С.С. Гончаров, Е.А Палютин, Н.Г.Хисамиев, В.А. Романьков, С.А. Бадаев, С.В. Судоплатов, Б.С. Байжанов, Д.А. Тусупов, А.А. Степанова; доктора пед. наук С.Д. Тыныбекова, К.Х. Закирьянов; кандидаты физ.-мат. наук, профессора В.А. Чуркин и А.Т. Нуртазин, Е.Р. Байсалов, Б.Ш. Кулпешов, И.В. Латкин, А.Н. Фролов, А.Н. Хисамиев, Н.Т. Когабаев, С.С. Заурбеков, К.А. Мейрембеков, А.Б. Базарбеков, Г.Х. Мухамадиев, П. Бейсебай, А.А. Крыкпаева, Л.Н. Победин и доцент Ю.В. Чи-Дун-Чи; докторанты PhD А.М Кунгожин, М. Мустафа, аспирант Д.Е. Душенин; а также все преподаватели кафедры.

На заключительном заседании, которое было проведено 1 сентября под руководством д. физ.-мат. наук профессора Е.А Палютина, председатели секций рассказали о работе секций и внесли предложения в проект решения конференции. В решении конференции отмечено, что проведение конференции по данной тематике продиктовано необходимостью обсуждения теоретических и прикладных аспектов теории вычислимости, теории моделей и их приложениям к алгебре, геометрии и теоретической информатики. В ходе обсуждения проекта было внесено предложение о проведении конференций или школ аналогичной тематики регулярно, один раз в два-три года на базе отдыха «Простор», и было рекомендовано выпустить сборник трудов конференции.

Конференция туралы

Международная конференция «Вычислимость и модели» по математической логике и приложениям, пройдет в Усть-Каменогорске (Казахстан) с 30 августа по 1 сентября 2009 года.

Организаторы конференции – Министерство Образования и Науки Республики Казахстан и Восточно-Казахстанский Государственный Технический Университет им. Д. Серикбаева. К участию приглашаются специалисты по теории моделей, математической логике, теории вычислимости, математическим методам в программировании.

В программный комитет входят:

• Председатель - академик РАН Ю.Л. Ершов, директор Института Математики СО РАН им. Соболева;
• Зам. председателя - член-корреспондент РАН C.C. Гончаров;
• Pr. B. Khussainov;
• Pr. J. Knight;
• Pr. S. Lempp;
• Pr. R. Soare;
• Проф. М.М. Арсланов;
• Проф. С.А. Бадаев;
• Проф. Л.Л. Максимова;
• Проф. А.С. Морозов;
• Проф. Е.А. Палютин;
• Проф. В.А. Романьков;
• Проф. Н.Г. Хисамиев.

Секретарь конференции - Иван Васильевич Латкин.

Важные даты:

• Регистрация уже началась, т.е. мы будем рады получить Вашу заявку уже сейчас.
• Окончание приема тезисов докладов: 10 июля 2009.
• Извещение о принятии/отклонении тезисов: 25 июля 2009.
• Окончание приема заявок на визы (для участников из дальнего зарубежья): 1 июля 2009.
• Окончание приема заявок на размещение в гостинице: 1 августа 2009.
• Приезд и размещение участников: 29 августа 2009.
• Работа конференции: 30 августа – 1 сентября 2009.
• Отъезд участников: 2 сентября 2009.

Тіркеу

Конференция бағдарламасы

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

• теории моделей;
• теории вычислимости и вычислимых моделей;
• неклассических логик и теории доказательств.

Пленарные доклады

30 августа 2009 г. - Зал заседаний

• 9:00 - 9:15 - Открытие конференции:
  • а) конференцию открывает приветственным словом ректор ВКГТУ д.т.н., профессор, академик НАЕН Г.М. Мутанов;
  • б) декан механико-математического факультета НГУ, д. физ.-мат. наук, профессор, член-корр. РАН С.С. Гончаров.
• Утреннее заседание. Председатель - д. физ.-мат. наук, профессор Е.А Палютин.
  • 9:15 - 10:00 - Н.Г. Хисамиев: «О конструктивных нильпотентных группах».
  • 10:05 - 10:50 - С.С. Гончаров: - «Сильно минимальные и категоричные теории».
  • 10:50 - 11:05 - кофе-брейк.
  • 11:05 - 11:50 - В.А. Романьков: «Оценка сложности проблем равенства и сопряжённости в классе разрешимых групп».
  • 11:55 - 12:40 - С.А. Бадаев: «Вычислимые нумерации в иерархиях».
  • 13:00 - 14:00 - обед.
• Дневное заседание. Председатель - к. физ.-мат. наук, профессор В.А. Чуркин.
  • 14:30 - 15:15 - Е.Р. Байсалов: «Об определимо минимальных лиевых кольцах».
  • 15:15 - 15:30 - кофе-брейк.
  • 15:30 - 18:40 - Секционные заседания (по 15-20 минут).

31 августа 2009 г. - Зал заседаний

• Утреннее заседание. Председатель - д. физ.-мат. наук, профессор С.А. Бадаев.
  • 9:00 - 9:45 -Е.А. Палютин: «Теория моделей Фреше-замкнутых классов».
  • 9:50 - 10:35 - С.В. Судоплатов: «Несущественные совмещения малых теорий».
  • 10:35 - 10:50 - кофе-брейк.
  • 10:50 - 11:35 - Б.С. Байжанов: «Определимость типов в слабо 0-минимальной теории».
  • 11:40 - 12:25 - Б.Ш. Кулпешов: «Бинарность и счётная категоричность для вариантов 0-минимальности».
  • 12:25 - 13:00 - А.Т. Нуртазин .«О сильной приводимости теории над недвукардинальной формулой».
  • 13:00 - 14:00 - обед.
• Дневное заседание. Председатель - д. физ.-мат. наук, профессор В.А. Романьков.
  • 14:30 - 15:15 - В.А. Чуркин «Об изоморфизмах кристаллографических групп в псевдоевклидовых пространствах».
  • 15:15 - 15:30 - кофе-брейк.
  • 15:30 - 18:50 - Секционные заседания (по 15-20 минут).
  • 19:00 - 20:00 - ужин.

1 сентября 2009 г. - Зал заседаний

• Утреннее заседание.
  • 9:00 - 10:00 - секционные заседания.
  • 10:00 - 10:45 - круглый стол.
  • 10:45 - 11:00 – закрытие.
  • 11:20 - отъезд в Усть-Каменогорск.
  • 14:00 - 15:00 – обед.
  • 15:00 - 17:00 - знакомство с ВКГТУ и технопарком «Алтай».

Конференция үшiн мәлімет

Тезисы докладов объёмом 1-2 полные страницы будут опубликованы. Образцы оформления тезисов см. в прикреплённых файлах - ex.tex (.tex, 4Кб), тезисы можете оформить также в Worde (Times New Roman, 14). Мы ожидаем получить от Вас два файла с текстом тезисов: pdf-файл и tex-файл или один в Worde.

Тіркеу жинағы

Предполагаемый организационный сбор в размере 5000 тенге (около 1300 российских рублей) можно оплатить по приезду.

Орналастыру

Планируется, что участники сразу после приезда и/или перед отъездом будут проживать в гостиницах Усть-Каменогорска или в гостинице Восточно-Казахстанского Государственного Технического Университета. Но возможна поездка, проживание участников и работа конференции в доме отдыха «Голубой залив». В этом случае одни сутки проживания (вместе с трёхразовым питанием) обойдутся в 3-4 тыс. тенге.

Байланысу ақпараты

Со всеми вопросами, касающимися участия в конференции, пожалуйста, обращайтесь в оргкомитет: «Вычислимость и модели», ВКГТУ, ул. Серикбаева 19, каф. «Высшей математики» т. (7232)540-863. 070003 Усть-Каменогорск, Казахстан.

А также по электронной почте [email protected] или по сотовому телефону секретаря +7 777 149 95 55 (по Казахстану можно звонить запросто, а из многих городов России, в частности, из Новосибирска и Омска СМС-сообщения идут по цене внутри города).

Секретарь конференции Иван Васильевич Латкин.