Интернет-портал интеллектуальной молодёжи

http://ipim.ru/events/1507.html (версия для печати)

Мероприятия

Международная Конференция "Домены VIII и Вычислимость над Непрерывными Типами Данных"

регион: Новосибирская обл.

город: Новосибирск

место проведения: Институт математики им. С.Л.Соболева СО РАН

области знаний:

• математика

тип мероприятия: конференция

статус мероприятия: международное

название: Международная Конференция "Домены VIII и Вычислимость над Непрерывными Типами Данных"

организаторы мероприятия:

• Институт математики им. С.Л.Соболева СО РАН

контингент участников:

• все желающие

окончание регистрации: 30 июня 2007

начало мероприятия: 11 сентября 2007

оргвзнос: Для участников из стран СНГ и Восточной Европы размер регистрационного взноса составляет 300 рублей, для остальных участников 85 евро.

возможность публикации: тезисы

проживание: оплачивается участником

контакты:

• Контактная информация
• Адрес: Конференция "Домены VIII"
• Институт математики им. С.Л. Соболева СО РАН
• Новосибирск, пр. акад. Коптюга, 4
• 630090, Россия

  Телефон: (+7) 383 333 28 94

• Факс: (+7) 383 333 25 98

  E-mail: domains@math.nsc.ru

ссылка: сайт с информацией

дополнительно:
Основные темы конференции:
домены и топология реализуемость
эффективные домены и пространства переработка доказательств
вычислимость над непрерывными пространствами конструктивная математика и ее семантика
семантика программ теория вычислимости
модели последовательных вычислений конструктивные модели
лямбда-исчисление допустимые множества