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

该奖项为编程语义的数学基础系列会议中的第七次会议提供支持。这个研究领域涵盖了编程语言的设计和实现的所有方面，包括这些语言的语义。感兴趣的主题包括类型论，领域论，以及范畴论在语义学上的应用。以前的会议的特点是参与者的兴趣广泛，代表所提到的不同领域的研究人员之间进行了高水平的互动。会议包括三种形式的正式活动：邀请五位主要研究人员进行演讲。审阅、投稿论文的简短报告与第一、三、五届会议一样，会议记录将由b施普林格出版社作为《计算机科学讲座笔记》出版。

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.