5th WORKSHOP ON MATHEMATICAL FOUNDATION OF PROGRAMMING SEMANTICS

第五届编程语义数学基础研讨会

• 批准号: 8820516
• 负责人: Michael Mislove
• 金额: $ 0.72万
• 依托单位: Tulane University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1989
• 资助国家: 美国
• 起止时间: 1989-01-01 至 1990-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8820516&HistoricalAwards=false
• 关键词: 5th; WORKSHOP; MATHEMATICAL; FOUNDATION; PROGRAMMING

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.

编程语义的数学基础涉及形式逻辑、抽象代数、领域理论、格论、拓扑和范畴论等领域在程序的形式建模和推理中的应用。 该奖项为该主题系列研讨会中的第五次提供部分支持，其目标是将这一领域的计算机科学家和数学家聚集在一起。 以前的研讨会的特点是参与者兴趣广泛，以及代表所提到的不同领域的研究人员之间进行的高水平互动。 拟议的研讨会包括三种类型的正式活动：（1）六位主要研究人员的邀请演讲，（2）参考论文的简短介绍，以及（3）研究方向研讨会。 此外，与第一和第三次研讨会一样，预计研讨会的会议记录将作为计算机科学讲义中的一卷出版。