ИМРО'04

    Программа (doc-файл)

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

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

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

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

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

    Семенов Александр Леонидович, Институт систем информатики СО РАН
Программный комитет

  • Бенаму Фредерик - Университет Нанта (Нант, Франция)
  • Кашеварова Тамара Петровна - Институт систем информатики СО РАН (Новосибирск, Россия)
  • Кирфотт Бэйкер - Университет Луизианы (Лафайет, США)
  • Крейнович Владик - Техасский Университет (Эль Пасо, США)
  • Лакеев Анатолий Валентинович - Институт динамики систем и теории управления СО РАН (Иркутск, Россия)
  • Шарый Сергей Петрович - Институт вычислительных технологий СО РАН (Новосибирск, Россия)
Приглашенные доклады

  • (Будет определен позже)
    Бенаму Фредерик (Университет Нанта)
  • Гарантированное решение систем ограничений - практические стороны, недостатки и новые разработки
    Кирфотт Бэйкер (Университет Луизианы)
  • Задачи анализа с неопределенными данными - интервальность и/или случайность?
    Вощинин Александр Павлович (ФГУП "ЦНИИАТОМИНФОРМ")
Время проведения

    21-23 июня 2004
Место проведения

    Академгородок, Новосибирск
Публикации

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

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

    Русский, английский
Участие в рабочем совещании

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

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

    На совещании предполагается два вида докладов - короткие и полные. Для коротких докладов достаточно подать краткие тезисы объемом от 1 до 4 страниц, для полных докладов - расширенные, объемом до 10 страниц. Так как рабочими языками совещания являются русский и английский, то возможно представление тезисов на любом из них. Однако представление английского варианта предпочтительнее.

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

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

Важные даты

    30 апреля 2004последний срок представления тезисов
    20 мая 2004уведомление о принятии доклада
    21 июня 2004день прибытия на совещание
    22-23 июня 2004заседания рабочего совещания
    21-23 июня 2004проведение основной конференции isiCAD