15-й Международный симпозиум по научным вычислениям, компьютерным арифметикам и доказательным численным методам SCAN'2012
23-29 сентября 2012 года Новосибирск, Россия
Приглашаем на 15-й Международный симпозиум по научным вычислениям, компьютерным арифметикам и доказательным численным методам SCAN'2012, который пройдёт с 23 по 29 сентября 2012 года в Новосибирске, в Институте вычислительных технологий СО РАН.
Это мероприятие продолжает серию международных симпозиумов SCAN'XX, инициированных в конце 80-х годов прошлого столетия в Университете Карлсруэ (Германия) и проводимых под совместной эгидой международных научных обществ GAMM и IMACS. За последние двадцать с лишним лет симпозиумы SCAN проводились в Базеле (Швейцария, 1989 год), Альбене (Болгария, 1990 год), Ольденбурге (Германия, 1991 год), Вене (Австрия, 1993 год), Вуппертале (Германия, 1995 год), Лионе (Франция, 1997 год), Будапеште (Венгрия, 1998 год), Карлсруэ (Германия, 2000 год), Париже (Франция, 2002 год), Фукуока (Япония, 2004 год), Дуйсбурге (Германия, 2006 год), Эль-Пасо (США, 2008 год), Лионе (Франция, 2010 год). В нынешнем 2012 году симпозиум проводится в России.
Тематика симпозиумов SCAN охватывает математические и алгоритмические аспекты научных вычислений с акцентом на доказательность результатов, применение интервальных методов, а также разнообразные средства их поддержки. Целью проведения симпозиумов является обмен идеями и результатами в этой области, пропаганда научных исследований и практических разработок, распространение информации о новейших достижениях.
Тематика симпозиума Симпозиумы SCAN традиционно собирают исследователей по доказательным и интервальным научным вычислениям и практиков, применяющих их в своей деятельности. Сфера интересов симпозиумов покрывает разнообразные аспекты доказательных и интервальных вычислений, от теории до реализаций и практических применений, с упором на доказательность и гарантированость результатов, строгие оценки погрешностей, двустроннее и интервальное оценивание решений, а также математические, алгоритмические, программные и аппаратные средства для этих целей.
Тематика симпозиума включает следующие направления (но не исчерпывается ими):
- теория, алгоритмы и арифметики для доказательных вычислений,
- программная и аппаратная поддержка интервальных и доказательных вычислений,
- символьные и алгебраические методы в доказательных вычислениях,
- доказательные подходы в оптимизации, исследовании операций и моделировании,
- доказательное численное решение дифференциальных уравнений,
- интервальный анализ и его приложения, интервальные и двусторонние методы,
- надёжность и доказательность супервычислений,
- приложения интервальных и доказательных вычислений.
Порядок проведения Научная программа симпозиума будет состоять из приглашённых пленарных докладов и выступлений по секциям, работа которых организуется параллельно. Продолжительность пленарного доклада составляет 45 минут, вслед за которыми 5 минут отводится ответам на вопросы и дискуссии. Доклады на секциях продолжаются 20 минут, ответы на вопросы и дискуссия по докладу - не более пяти минут.
Рабочий язык симпозиума - английский.
Научный комитет симпозиума SCAN'2012 Г. Алефельд (Карлсруэ, Германия), Ж.-М. Шесно (Париж, Франция), Дж.Ф. Корлисс (Милуоки, США), Т. Чендеш (Сегед, Венгрия), А. Фроммер (Вупперталь, Германия), Р.Б. Кирфотт (Лафайет, США), В. Кремер (Вупперталь, Германия), В. Крейнович (Эль-Пасо, США), У. Кулиш (Карлсруэ, Германия), В. Лютер (Дуйсбург, Германия), Г. Майер (Росток, Германия), С. Марков (София, Болгария), Ж.-М. Мюллер (Лион, Франция), М. Накао (Фукуока, Япония), М. Плюм (Карлсруэ, Германия), Н. Револь (Лион, Франция), И. Рон (Прага, Чехия), З. Румп (Гамбург, Германия), С.П. Шарый (Новосибирск, Россия), Ю.И. Шокин (Новосибирск, Россия), В. Вальтер (Дрезден, Германия), Ю. Вольф фон Гуденберг (Вюрцбург, Германия), Н. Ямамото (Токио, Япония)
Тезисы выступлений Приглашаем всех, заинтересованных в участии в работе симпозиума, представить тезисы своего выступления в виде файла в формате LaTeX (не более 700 слов). Инструкция по оформлению тезисов и шаблон набора можно найти на веб-сайте симпозиума http://conf.nsc.ru/scan2012. Сборник тезисов симпозиума SCAN'2012 будет вручаться участникам при регистрации.
Труды симпозиума Рецензируемые труды симпозиума будут опубликованы в электронном виде в открытом электронном журнале «Reliable Computing» (см. веб-сайт http://interval.louisiana.edu/reliablecomputing-journal). Конкретная информация, касающаяся порядка опубликования трудов симпозиума, будет объявлена позднее.
Место проведения Работа симпозиум SCAN'2012 будет проходить в Доме Учёных СО РАН и Институте вычислительных технологий СО РАН, которые расположены в новосибирском Академгородке. Это один из главных научных центров России, где находятся более двадцати научно-исследовательских институтов Сибирского Отделения Российской Академии Наук (СО РАН). Время проведения симпозиума совпадает с наиболее живописным временем года в Сибири, которое, как правило, является мягким и относительно тёплым «бабьим летом».
Совещание CoProd'2012 Симпозиуму SCAN'2012 предшествует однодневное Совещание по методам распространения ограничений и теории принятия решений CoProd'2012, которое состоится 23 сентября 2012 года (см. подробности на http://coprod.constraintsolving.com).
Важные даты Электронное представление тезисов - до 30 апреля 2012 года
Уведомление о включении в программу - до 31 мая 2012 года
Оплата организационного взноса - до 16 июля 2012 года
Работа совещания CoProd'2012 - 23 сентября 2012 года
Работа симпозиума SCAN'2012 - 24-28 сентября 2012 года
День отъезда - 29 сентября 2012 года
Представление материалов в труды симпозиума - будет объявлено позднее
Контакты Сергей Петрович Шарый
Институт вычислительных технологий СО РАН, просп. Лаврентьева, 6
630090 г. Новосибирск, Россия
shary@ict.nsc.ru
Электронный адрес симпозиума - scan2012@ict.nsc.ru