 |
 |
|
 |
|
 |
ИМРО'04
|
 |
Программа (doc-файл)
 Второе международное рабочее совещание ИМРО'04: Интервальная математика и методы распространения ограничений,
сопутствующее международной научно-практической конференции isiCAD
"Интеллектуализация САПР и систем компьютерной графики на основе программирования в ограничениях: от методов к приложениям",
состоится в период 21-23 июня 2004 г. в Новосибирском Академгородке.
На этом совещании предполагается обсудить теоретические и практические вопросы интервального анализа, его использования в методах
распространения ограничений над непрерывными областями и их практического применения в различных областях.
Тематика докладов рабочего совещания включает следующие научные направления (но не ограничивается только ими):
- интервальные алгебраические задачи и задачи приближения функций,
- методы решения интервальных дифференциальных уравнений, как обыкновенных, так и в частных производных,
- интервальные методы в математическом программировании, исследовании операций и автоматическом управлении,
- использование интервальных методов в вычислениях с гарантированной точностью и доказательных вычислениях на ЭВМ,
- использование методов интервальной математики в методах распространения ограничений над непрерывными областями,
- теоретические и практические аспекты создания решателей, основанных на комбинации методов интервальной математики и распространения ограничений,
- приложение интервальных методов распространения ограничений в задачах моделирования и проектирования,
- вопросы объединения математического обеспечения на основе интервальных методов и классических вычислительных методов,
- приложение интервальных методов распространения ограничений для решения сложных вычислительных задач.
Участники совещания также могут принять участие в работе конференции isiCAD (www.isicad.ru)
и проходящей параллельно Конференции по вычислительной математике МКВМ-2004 (http://www-sbras.nsc.ru/ws/iccm-2004/index.en.html).
|
Председатель рабочего совещания
|
|
Семенов Александр Леонидович, Институт систем информатики СО РАН
|
Программный комитет
|
|
- Бенаму Фредерик - Университет Нанта (Нант, Франция)
- Кашеварова Тамара Петровна - Институт систем информатики СО РАН
(Новосибирск, Россия)
- Кирфотт Бэйкер - Университет Луизианы (Лафайет, США)
- Крейнович Владик - Техасский Университет (Эль Пасо, США)
- Лакеев Анатолий Валентинович - Институт динамики систем и теории управления
СО РАН (Иркутск, Россия)
- Шарый Сергей Петрович - Институт вычислительных технологий СО РАН
(Новосибирск, Россия)
|
Приглашенные доклады
|
|
-
(Будет определен позже)
Бенаму Фредерик (Университет Нанта)
- Гарантированное решение систем ограничений - практические стороны,
недостатки и новые разработки
Кирфотт Бэйкер (Университет Луизианы)
- Задачи анализа с неопределенными данными - интервальность и/или
случайность?
Вощинин Александр Павлович (ФГУП "ЦНИИАТОМИНФОРМ")
|
Время проведения
|
|
|
Место проведения
|
|
Академгородок, Новосибирск
|
Публикации
|
|
|
Рабочий язык совещания
|
|
|
Участие в рабочем совещании
|
|
Для участия в рабочем совещании необходимо прислать до 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 |
|
|
|
 |
|
 |
|
|
