Workshop Domains IX

研讨会将于2008年9月22日至24日在苏塞克斯大学举行。本研讨会的目标是计算机科学家和数学家，他们对计算的数学基础有共同的兴趣。它侧重于领域，它们的应用和相关主题。在数学系和计算机科学系不定期地组织会议。重点在于参与者之间的思想交流。参与是开放的，鼓励博士生参加，以便与该领域的经验丰富的研究人员会面。领域理论是高度跨学科的；本次研讨会的互动主题包括但不限于：程序语义、程序逻辑、概率计算、实数上的精确计算、λ演算、博弈、顺序计算模型、构造数学、递归理论、可实现性、实分析、拓扑、场所理论、度量空间、范畴论、拓扑理论和类型理论。在今年的活动中，计划特别讨论上述领域在程序语义和推理方面的应用，例如顺序、并发和分布式软件的属性验证。本次研讨会将为计算语义基础领域的国际研究人员提供一个平台，这是英国计算机科学界特别强大的理论学科。这笔资金将用于支付国际知名的特邀演讲者和参与的博士生的费用。

The Workshop Domains will be organised from 22 to 24 September 2008 at the University of Sussex.This workshop is aimed at computer scientists and mathematicians alike who share an interest in the mathematical foundations of computation. It focuses on domains, their applications and related topics. Meetings are organised at mathematics as well as computer science departments at irregular intervals. The emphasis is on the exchange of ideas between participants. Participation is open and PhD students are encouraged to attend so as to meet experienced researchers in this field.Domain Theory is highly interdisciplinary; topics of interaction for this workshop include, but are not limited to: program semantics, program logics, probabilistic computation, exact computation over the real numbers, lambda calculus, games, models of sequential computation, constructive mathematics, recursion theory, realizability, real analysis, topology, locale theory, metric spaces, category theory, topos theory, and type theory.At this year's event, it is planned to particularly address applications of the above areas to semantics and reasoning about programs, for instance the verification of properties of sequential, concurrent, and distributed software.This workshop will give a platform to international researchers in the field of Semantic Foundations of Computing, a theoretical subject in which the UK computer science community is particularly strong. The funding will provide the means to pay expenses for internationally renowned invited speakers and for participating PhD students.