权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Workshop Domains IX

工作坊领域 IX

基本信息

批准号：
EP/G016267/1
负责人：
Bernhard Reus
金额：
$ 1.19万
依托单位：
University of Sussex
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2008
资助国家：
英国
起止时间：
2008 至无数据
项目状态：
已结题

来源：
https://gtr.ukri.org/projects?ref=EP%2FG016267%2F1
关键词：
Workshop Domains IX

项目摘要

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.

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