5th WORKSHOP ON MATHEMATICAL FOUNDATION OF PROGRAMMING SEMANTICS

编程语义的数学基础涉及 形式逻辑、抽象代数、域等领域的应用 理论、格理论、拓扑学和范畴理论到形式化建模 和对程序的推理。 该奖项提供部分支持， 这是关于这一主题的一系列讲习班中的第五次，目的是 汇集了这一领域的计算机科学家和数学家 以前的讲习班的特点是广泛的 利益和高级别的互动 这是发生在代表不同国家的研究人员之间的 提到的领域。 拟议的讲习班包括三种正式的 活动： (1)邀请了六位顶尖研究人员， (2)简短的评审论文介绍，以及 (3)研究方向研讨会。 此外，预计讲习班的会议记录将 作为一卷出版在计算机科学的讲义中， 第一和第三次研讨会的情况就是如此。

The mathematical foundations of programming semantics involves the application of such areas as formal logic, abstract algebra, domain theory, lattice theory, topology and category theory to formal modeling and reasoning about programs. This award provides partial support for the fifth in a series of workshops on this subject, with the goal of bringing together computer scientists and mathematicians in this area. The previous workshops 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 proposed workshop includes three types of formal activities: (1) invited talks by six leading researchers, (2) shorter presentations of refereed papers, and (3) seminars on research directions. In addition, it is expected that the proceedings of the workshop will be published as a volume in the Lecture Notes in Computer Science, as was the case with the 1st and 3rd workshops.