Интервальная математика
и методы распространения ограничений

Второе международное рабочее совещание ИМРО'04 «Интервальная математика и методы распространения ограничений», сопутствующее международной научно-практической конференции isiCAD «Интеллектуализация САПР и систем компьютерной графики на основе программирования в ограничениях: от методов к приложениям», состоится в период 21-23 июня 2004 г. в Новосибирском Академгородке.

На этом совещании предполагается обсудить теоретические и практические вопросы интервального анализа, его использования в методах распространения ограничений над непрерывными областями и их практического применения в различных областях. Тематика докладов рабочего совещания включает следующие научные направления (но не ограничивается только ими):

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

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

Ø приложение интервальных методов распространения ограничений в задачах моделирования и проектирования,

Ø вопросы объединения математического обеспечения на основе интервальных методов и классических вычислительных методов,

Ø приложение интервальных методов распространения ограничений для решения сложных вычислительных задач.

Участники совещания также могут принять участие в работе конференции isiCAD (www.isicad.ru) и проходящей параллельно Конференции по вычислительной математике МКВМ-2004 (http://www-sbras.nsc.ru/ws/iccm-2004/index.en.html).

Председатель рабочего совещания

Семенов Александр Леонидович - Институт систем информатики СО РАН (Новосибирск)

Программный комитет

Бенаму Фредерик - Университет Нанта (Нант, Франция)

Кашеварова Тамара Петровна - Институт систем информатики СО РАН (Новосибирск, Россия)

Кирфотт Бэйкер - Университет Луизианы (Лафайет, США)

Крейнович Владик - Техасский Университет (Эль Пасо, США)

Лакеев Анатолий Валентинович - Институт динамики систем и теории управления СО РАН (Иркутск, Россия)

Шарый Сергей Петрович - Институт вычислительных технологий СО РАН (Новосибирск, Россия)

Приглашенные доклады

(Будет определен позже)

Бенаму Фредерик (Университет Нанта)

Гарантированное решение систем ограничений - практические стороны, недостатки и новые разработки

Кирфотт Бэйкер (Университет Луизианы)

Задачи анализа с неопределенными данными - интервальность и/или случайность?

Вощинин Александр Павлович (ФГУП «ЦНИИАТОМИНФОРМ»)

Время и место проведения

21-23 июня 2004 года. Академгородок, Новосибирск, Россия.

Публикации

Принятые тезисы докладов будут напечатаны в трудах рабочего совещания перед началом заседаний.

Рабочий язык совещания

Русский и английский в равной мере.

Участие в рабочем совещании

Для участия в рабочем совещании необходимо прислать до 4 мая 2004г. года

в Оргкомитет электронной почтой заявку и тезисы доклада

В заявке укажите Ваши фамилию, имя, отчество, место работы, адреса для контактов и предполагаемые даты Вашего приезда и отъезда. Также весьма желательно сообщить предпочтительный вид поселения - гостиница СО РАН или гостиница Новосибирского госуниверситета. Если Вы желаете участвовать в работе вышеуказанных основных конференций, то также отметьте это в заявке.

Требования к тезисам докладов

На совещании предполагается два вида докладов - короткие и полные. Для коротких докладов достаточно подать краткие тезисы объемом от 1 до 4 страниц, для полных докладов - расширенные, объемом до 10 страниц. Так как рабочими языками совещания являются русский и английский, то возможно представление тезисов на любом из них. Однако представление английского варианта предпочтительнее. Тезисы должны быть поданы по e-mail и должны содержать пригодный для печати файл в формате PostScript и файл с исходным текстом, набранном в процессоре Latex или MS Word версии не ниже 98. Бумажная версия тезисов не требуется. Тезисы должны быть набраны шрифтом размера 12 пунктов в соответствующем текстовом процессоре. В заголовке тезисов необходимо указать фамилии авторов, их место работы, почтовый и электронный адрес (если есть). Тезисы должны сопровождаться аннотацией на английском и русском языках размером не более 150 слов.

Адреса для переписки

semenov@iis.nsk.su, asm@nbsp.nsk.su,

shary@ict.nsc.ru

Важные даты

4 мая 2004 - последний срок представления тезисов

20 мая 2004 - уведомление о принятии доклада

20 июня 2004 - день прибытия на совещание

21-22 июня 2004 - заседания рабочего совещания

21-23 июня 2004 - проведение основной конференции isiCAD