Международная Конференция Домены VIII и Вычислимость над Непрерывными Типами Данных
11 - 15 September 2007, 11 - 15 сентября 2007 года, НовосибирскRubrics: Conference | E-mail: domains@math.nsc.ruDescription:Серия конференций по доменам посвящена математическим основаниям вычислимости и представляет интерес как для математиков, так и для специалистов в области теоретического программирования. Основными темами конференции являются теория доменов и ее приложения, а также вопросы, исследуемые в рамках совместного германо-российского проекта DFG-РФФИ "Вычислимость над недискретными структурами: модели, семантика, сложность".
Конференция будет проходить в Институте математики им. С.Л.Соболева СО РАН, расположенном в новосибирском Академгородке.