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

该奖项为关于编程语义的数学基础的系列会议中的第七次提供支持。这一研究领域包括对编程语言设计和实现的方方面面的研究，包括这些语言的语义。感兴趣的主题包括类型理论、领域理论和范畴理论在语义学中的应用。以往会议的特点是与会者的兴趣广泛，以及代表所提到的不同领域的研究人员之间进行了高水平的互动。会议包括三种形式的正式活动：1.五位顶尖研究人员的特邀演讲2.裁判的简短陈述，投稿论文3.专门讨论特定研究方向的特别会议会议记录将由Springer Verlag出版，作为计算机科学讲稿卷，第一次、第三次和第五次会议也是如此。

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.