1. ПОСТАНОВКА ЗАДАЧИ

1.1 Описание предметной области

Настоящее мероприятие продолжает серию международных симпозиумов SCAN-XX, проводимых под совместным патронажем

· GAMM - International Association for Applied Mathematics and Mechanics (Международного общества прикладной математики и механики) и

· IMACS - International Association for Mathematics and Computers in Simulation (Международной ассоциации по математике и компьютерному моделированию).

Симпозиумы SCAN-XX традиционно охватывают широкий круг вопросов, связанных с научными вычислениями, причем особое внимание уделяется доказательности (гарантированности) получаемых результатов, а также разнообразным средствам для их получения. Конкретная тематика симпозиумов традиционно включает работы по интервальному анализу и его приложениям, компьютерным арифметикам, программным и языковым средствам.

Симпозиумы SCAN-XX проводятся с 1989 года и за прошедшее время приобрели репутацию главного мирового форума по доказательным вычислениям. Предыдущие мероприятия организовывались в различных местах нашей планеты:

· Базель, Швейцария (1989);

· Албена, Болгария (1990);

· Ольденбург, Германия (1991);

· Вена, Австрия (1993);

· Вупперталь, Германия (1995);

· Лион, Франция (1997);

· Будапешт, Венгрия (1998);

· Карлсруэ, Германия (2000);

· Париж, Франция (2002);

· Фукуока, Япония (2004);

· Дуйсбург, Германия (2006);

· Эль-Пасо, США (2008);

· Лион, Франция (2010).