Приглашаем на 15-й Международный симпозиум по научным вычислениям, компьютерным арифметикам и доказательным численным методам SCAN’2012, который пройдёт с 23 по 29 сентября 2012 года в Новосибирске, в Институте вычислительных технологий СО РАН.
Тематика симпозиума включает следующие направления (но не исчерпывается ими):
- теория, алгоритмы и арифметики для доказательных вычислений,
- программная и аппаратная поддержка интервальных и доказательных вычислений,
- символьные и алгебраические методы в доказательных вычислениях,
- доказательные подходы в оптимизации, исследовании операций и моделировании,
- доказательное численное решение дифференциальных уравнений,
- интервальный анализ и его приложения, интервальные и двусторонние методы,
- надёжность и доказательность супервычислений,
- приложения интервальных и доказательных вычислений.
Электронное представление тезисов до 30 апреля 2012 года.
