Документ взят из кэша поисковой машины. Адрес оригинального документа : http://www.intsys.msu.ru/science/conference/PROGR11S.pdf Дата изменения: Mon Jun 18 23:48:31 2012 Дата индексирования: Mon Oct 1 22:33:09 2012 Кодировка: koi8-r

ОДИННАДЦАТЫЙ МЕЖДУНАРОДНЫЙ СЕМИНАР ДИСКРЕТНАЯ МАТЕМАТИКА И ЕЕ ПРИЛОЖЕНИЯ, посвященный 80-летию со дня рождения академика О. Б. Лупанова (Москва, МГУ, 18{22 июня 2012 г.) ПРОГРАММА
09.00{19.00. Заезд и регистрация иногородних участников (ауд. 16{14, 16{16) 11.00. Открытие семинара (ауд. 16{24, сектор А главного здания МГУ) 11.15{13.50. Пленарные доклады (ауд. 16{24)

18 июня, понедельник 19 июня, вторник

13.50{15.30. Перерыв 15.30{20.00. Работа по секциям

11.15{12.00. А. Б. Угольников (Москва) О результатах О. Б. Лупанова и его последователей в некоторых задачах теории сложности 12.05{12.50. М. П. Минеев, В. Н. Чубариков (Москва) О новых применениях арифметики в криптографии 13.00{13.45. М. М. Глухов (Москва) О мерах близости булевых функций к линейным функциям

10.00{13.30. Пленарные доклады (ауд. 16{24)

20 июня, среда

13.30{15.00. Перерыв 15.00{20.00. Работа по секциям

10.00{10.45. В. Б. Алексеев (Москва) О развитии теории дискретных функций на кафедре математической кибернетики 10.50{11.35. А. А. Евдокимов (Новосибирск) Динамические системы дискретных моделей регуляторных контуров генных сетей: анализ и сложность функционирования, восстановление структуры 11.50{12.35. С. А. Ложкин (Москва) Представления булевых функций и асимптотические оценки различной степени точности для сложности их реализации в некоторых классах схем 12.40{13.25. Н. П. Долбилин (Москва) Параллелоэдры: результаты и про блемы

8.15{11.30. Мероприятия памяти О. Б. Лупанова. 12.30{15.00. Пленарные доклады (ауд. 16{24)

21 июня, четверг

Отъезд в 8.15 от главного входа МГУ (со стороны смотровой площадки) 12.30{13.15. Н. П. Редькин (Москва) О сложности индивидуальных булевых функций 13.20{14.05. М. А. Федоткин (Нижний Новгород) Системы управления конфликтными потоками неоднородных тре бований и принцип Ляпунова | Яблонского 14.10{14.55. И. В. Кучеренко (Москва) Решение про блемы описания границ рекурсивных классов о братимых клеточных автоматов

15.00{16.00. Перерыв 16.00{20.00. Работа по секциям

10.00{14.20. Пленарные доклады (ауд. 16{24)

22 июня, пятница

14.30. Закрытие семинара

10.00{10.45. В. Н. Шевченко (Нижний Новгород) Триангуляции выпуклых конусов и реализация их f -векторов 10.50{11.35. В. А. Буевич (Москва) Алгоритмическая неразрешимость задачи Слупецкого для автоматов 11.40{12.25. В. Б. Кудрявцев (Москва) Интеллектуальные системы. Теория и приложения 12.40{13.25. В. А. Захаров (Москва) Модели и алгоритмы в задачах проверки эквивалентности программ 13.30{14.15. Н. Ю. Золотых, А. Ю. Чирков (Нижний Новгород) О верхней оценке мощности минимального разрешающего множества пороговой функции