Предварительная версия программы пленарных заседаний IX Международной конференции 'Интеллектуальные системы и компьютерные науки'

Конференция проходит при поддержке РФФИ и LSI Logic Corp (США)

Москва, МГУ, Главное Здание, мехмат факультет, 23-27 октября 2006 г.

1-й день, 23 октября, понедельник

Дневное заседание. Председатель Кудрявцев В.Б. ауд. 14-08

13.00-13.15

Открытие конференции

13.15-13.55

Ильин В.А., Моисеев Е.И.

Оптимизация граничного управления колебанием струны за произвольный промежуток времени

14.05-14.45

Журавлев Ю.И.

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

и противоречивой информации

14.55-15.35

Бетелин В.Б.

О развитии российского сегмента мировой структуры IT-технологий

15.45-16.25

Королев Л.Н.

О математизации некоторых эвристик

16.35-17.05

Бабаян Б.А.

О развитии архитектуры ЭВМ

17.15-17.55

Гварамия А.А. (Абхазия)

Представления квазигрупп

Утреннее заседание. Председатель - Ушчумлич Ш.(Сербия) ауд. 14-08

10.00-10.40

Чучалин А.Г.

Первая успешная трансплантация легких в России

10.50-11.30

Фоменко А.Т., Иванов А.О., Тужилин А.А.

Компьютерное моделирование кривых и поверхностей для приложений в биологии

11.40-12.20

Величенко В.В., Притыкин Д.А.

Возможности искусственного интеллекта и компьютерных технологий в построении программ лечения сложных и иммунных заболеваний

12.30-13.10

Малышев В.А.

Математика и философия в статистической биофизике

13.20-14.00

Килибарда Г. (Сербия), Кудрявцев В.Б., Ушчумлич Ш. (Сербия)

Автоматы в лабиринтах

Дневное заседание. Председатель - Прешич С. (Сербия) ауд. 14-08

15.00-15.40

Абрамов С.М.

Перспективы развития суперкомпьютерных технологий 'СКИФ'.

16.40-17.20

Ложкин С.А.

Оценки высокой степени точности для сложности управляющих систем (методы, результаты, проблемы)

15.50-16.30

Тальхайм Б. (Германия)

Достижения и проблемы концептуального моделирования

17.30-18.10

Бабин Д.Н.

Алгоритмические проблемы полноты и выразимости для автоматов.

Утренее заседание. Председатель Тальхайм Б. (Германия) ауд. 14-08

10.00-10.40

Макаров В.Л.

Компьютерное моделирование искусственных обществ.

10.50-11.30

Четверушкин Б.Н.

Использование высокопроизводительных вычислительных систем

для решения задач науки и техники

11.40-12.20

Чубариков В.Н.

Арифметические вопросы дискретной математики

12.30-13.10

Подколзин А.С.

О компьютерном моделировании логических процессов

13.20-14.00

Кудрявцев В.Б., Строгалов А.С.

Компьютерные обучающие системы

Дневное заседание. Председатель Килибарда Г. (Сербия) ауд. 14-08

15.50-16.30

Подловченко Р.И.

Алгебраизация алгоритмических языков и конечные автоматы

15.00-15.40

Прешич С. (Сербия)

Алгоритмика

16.40-17.20

Буевич В.А.

Аппроксимационная полнота автоматов

17.30-18.10

Козлов В.Н.

Распознавание визуальных образов

Утреннее заседание. Председатель Погосян Г.Р. (Япония) ауд. 14-08

10.00-10.40

Нестеренко Ю.В.

Линейные системы уравнений и непрерывные дроби

10.50-11.30

Иванников В.П.

О безопасности программных систем

11.40-12.20

Михалев А.В., Нечаев А.А.

Алгебраическая теория кодирования

12.30-13.10

Глухов М.М.

Использование колец целых алгебраических чисел для построения криптографических систем с открытым ключом

13.20-14.00

Гашков С.Б., Болотов А.А., Фролов А.Б., Часовских А.А.

Криптография на эллиптических кривых

Дневное заседание. Председатель Кнапп Ж. (Словения) ауд. 14-08

15.00-15.40

Латышев В.Н.

Распознаваемые свойства алгебр

15.50-16.30

Алешин С.В.

Алгебраические конструкции в теории автоматов

16.40-17.20

Бениаминов Е.М.

Алгебраические методы в теории баз данных

17.30-18.10

Панкратьев Е.В.

Компьютерная алгебра

Утреннее заседание. Председатель Михалев А.В. ауд. 14-08

10.00-10.40

Ершов Ю.Л., Самохвалов К.Ф.

Задачный подход к философии математики - панацея?

10.50-11.30

Пытьев Ю.П.

Стохастические и нечеткие модели. Эмпирическое построение и интерпретация

11.40-12.20

Черемных Ю.Н.

Экологические и социальные факторы в моделировании экономических процессов

12.30-13.10

Гасанов Э.Э..

Теория хранения и поиска информации

13.20-14.00

Чечкин А.В., Пирогов М.В.

Обеспечение информационно-системной безопасности человеко-машинных систем с помощью 'среды радикалов'

14.10-14.50

Кудрявцев В.Б., Андреев А.Е.

Теория тестового распознавания

15.00-15.40

Кудрявцев В.Б., Грунский И.С., Козловский В.А.

Анализ и синтез автоматов по фрагментам поведений