Печатная версия
Архив / Поиск

Archives
Archives
Archiv

Редакция
и контакты

К 50-летию СО РАН
Фотогалерея
Приложения
Научные СМИ
Портал СО РАН

© «Наука в Сибири», 2021

Сайт разработан
Институтом вычислительных
технологий СО РАН

При перепечатке материалов
или использованиии
опубликованной
в «НВС» информации
ссылка на газету обязательна

Наука в Сибири Выходит с 4 июля 1961 г.
On-line версия: www.sbras.info | Архив c 1961 по текущий год (в формате pdf), упорядоченный по годам см. здесь
 
в оглавлениеN 35 (2620) 13 сентября 2007 г.

МАТЕМАТИЧЕСКОЕ ПРОСТРАНСТВО
В ГОД ЮБИЛЕЯ

Сентябрь этого года — юбилейный месяц для Института математики им. С.Л. Соболева СО РАН. Пятидесятилетию института посвящена целая серия конференций. А началась эта серия в 9 утра 11 сентября с открытия небольшой (всего 40 участников) конференции «Домены — VIII и вычислимость над непрерывными типами данных».

Домены — важный класс семантических моделей для языков программирования. Разные их варианты были независимо предложены Д. Скоттом и Ю. Ершовым как модели для лямбда-исчисления и функционалов высших типов. Позднее возникла и серия вариации исходного понятия для отражения специфических свойств вычислений и языков программирования.

Домены интересны по многим причинам. С их помощью моделируются общие аспекты вычислимости. Эти исследования требуют нетривиальных методов и сложных понятий топологии. Но, пожалуй, наиболее известное использование доменов связано с семантикой языков программирования. В частности, язык программирования LISP является одним из результатов развития теории доменов.

Конференция «Домены — VIII» проводится в рамках российско-германского проекта, поддержанного РФФИ и Немецким научно-исследовательским обществом. Она собрала всех ведущих специалистов в области доменов. Среди участников — 25 иностранцев, представляющих Германию, Великобританию, США, Японию, Китай, Норвегию, Словению.

Буквально в день завершения первой конференции, 14 сентября, начнет работу вторая: Всероссийская конференция «Данные — Знания — Теория». А параллельно проходит конференция во Владивостоке по дискретному анализу — «Дискретная оптимизация и исследование операций», которая проводится ИМ СО РАН совместно с Институтом автоматики и процессов управления ДВО РАН.

И, наконец, 18 сентября начнет работу российская конференция «Математика в современном мире» в честь 50-летия Института математики и знаменитых сибирских математических научных школ.

Наш корр.

стр. 2

в оглавление

Версия для печати  
(постоянный адрес статьи) 

http://www.sbras.ru/HBC/hbc.phtml?9+430+1