Conference on Mathematical Foundations of Programming Semantics (March 25-28, 190) Pittsburgh, Pennsylvania

编程语义数学基础会议（190 年 3 月 25 日至 28 日）宾夕法尼亚州匹兹堡

• 批准号: 9020912
• 负责人: Stephen Brookes
• 金额: $ 0.51万
• 依托单位: Carnegie-Mellon University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1991
• 资助国家: 美国
• 起止时间: 1991-01-15 至 1992-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9020912&HistoricalAwards=false
• 关键词: Conference; Mathematical; Foundations; Programming; Semantics

This award provides support for the seventh in a series of conferences on mathematical foundations of programming semantics. This research area encompasses research on all aspects of the design and implementation of programming languages, including the semantics of such languages. Topics of interest include type theory, domain theory, and applications of category theory to semantics. Previous conferences have been distinguished by the breadth of interests of the participants and by the high-level of interaction which has taken place between researchers representing the diverse areas mentioned. The conference includes three types of formal activities: 1. invited talks by five leading researchers 2. shorter presentations of refereed, contributed papers 3. special sessions devoted to particular research directions The proceedings of the conference will be published by Springer Verlag as a volume of Lecture Notes in Computer Science, as was the case with the 1st, 3rd and 5th conferences.

该奖项为一系列中的第七个提供支持， 编程语义学的数学基础会议。 该研究领域涵盖了设计的各个方面 和实现的编程语言，包括语义 这样的语言。 感兴趣的主题包括类型理论，域 理论，以及范畴理论在语义学中的应用。 先前 会议的特点是广泛的利益， 与会者和高级别的互动， 代表上述不同领域的研究人员之间的地方。 会议包括三类正式活动： 1. 五位著名研究人员应邀演讲 2. 简短的介绍， 投稿 3. 专门讨论特定研究问题的特别会议 方向 会议记录将由施普林格出版社出版 Verlag作为一卷计算机科学讲义，因为是 第一、第三、第五次会议。