Support for Mathematical Foundations of Programming Semantics Special Session on Hybrid Systems

2002年3月20-25日，美国国家科学基金会在杜兰大学支持了一个关于混合系统的特别会议，作为第18届编程语义数学基础研讨会（MFPS 18）的一部分。这次会议还与杜兰大学数学系的克利福德讲座同时举行，该讲座的重点是数学逻辑和计算机科学。与MFPS相关的研究领域集中在理论计算机科学、编程语义学（包括领域理论）、逻辑（如时间逻辑和线性逻辑）、范畴论在语义学中的应用以及非标准集合理论。混合动力系统特别会议包括邀请发言和混合动力系统专题讲座。美国国家科学基金会（NSF）资助了这次会议，使主题和特邀演讲者能够参与，并扩大了研究生参与和包容的机会。

Mislove, 0211217 NSF supported a Special Session on Hybrid Systems as part of the Eighteenth Workshop on the Mathematical Foundations of Programming Semantics (MFPS 18), March 20-25, 2002 at Tulane University. This meeting was also held concurrently with the Clifford Lectures of the Mathematics Department at Tulane University, which focused on mathematical logic and computer science. Research in areas relevant to MFPS focus in theoretical computer science, programming semantics, including domain theory, logics such as temporal logic and linear logic, applications of category theory to semantics, and non-standard set theories. The Special Session on Hybrid Systems included an invited address and talks on special topics in hybrid systems. NSF funds supported this session, which enabled the participation of the keynote and invited speakers, and enabled widened opportunity for participation and inclusion of graduate students.