«Наука в Сибири» № 35 (2620) 13 сентября 2007 г. МАТЕМАТИЧЕСКОЕ ПРОСТРАНСТВО В ГОД ЮБИЛЕЯ Сентябрь этого года — юбилейный месяц для Института математики им. С.Л. Соболева СО РАН. Пятидесятилетию института посвящена целая серия конференций. А началась эта серия в 9 утра 11 сентября с открытия небольшой (всего 40 участников) конференции «Домены — VIII и вычислимость над непрерывными типами данных». Домены — важный класс семантических моделей для языков программирования. Разные их варианты были независимо предложены Д. Скоттом и Ю. Ершовым как модели для лямбда-исчисления и функционалов высших типов. Позднее возникла и серия вариации исходного понятия для отражения специфических свойств вычислений и языков программирования. Домены интересны по многим причинам. С их помощью моделируются общие аспекты вычислимости. Эти исследования требуют нетривиальных методов и сложных понятий топологии. Но, пожалуй, наиболее известное использование доменов связано с семантикой языков программирования. В частности, язык программирования LISP является одним из результатов развития теории доменов. Конференция «Домены — VIII» проводится в рамках российско-германского проекта, поддержанного РФФИ и Немецким научно-исследовательским обществом. Она собрала всех ведущих специалистов в области доменов. Среди участников — 25 иностранцев, представляющих Германию, Великобританию, США, Японию, Китай, Норвегию, Словению. Буквально в день завершения первой конференции, 14 сентября, начнет работу вторая: Всероссийская конференция «Данные — Знания — Теория». А параллельно проходит конференция во Владивостоке по дискретному анализу — «Дискретная оптимизация и исследование операций», которая проводится ИМ СО РАН совместно с Институтом автоматики и процессов управления ДВО РАН. И, наконец, 18 сентября начнет работу российская конференция «Математика в современном мире» в честь 50-летия Института математики и знаменитых сибирских математических научных школ. Наш корр. стр. 2