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.