13th International Conference on Theorem Proving in Higher Order Logics

CCR-0072763 Richard Kieurtz俄勒冈研究生院这是一笔赠款，用于支持将于2000年8月在俄勒冈研究生院举行的第13届高阶逻辑定理证明年会(TPHOLS 2000)。这次会议将汇集来自世界各地的顶尖研究人员，讨论高阶逻辑定理证明者。会议使新思想的传播比通过文学作品传播得更快。本课题的应用包括硬件验证和综合，以及安全和通信协议的验证。美国国家科学基金会将提供1万美元的奖学金，资助多达20名原本无法入学的学生。

CCR-0072763Richard KieurtzOregon Grad InstituteThis is a grant to support the 13th annual Conference on Theorem Proving in Higher Order Logics (TPHOLs 2000) to be held at the Oregon Graduate Institute during August 2000.This conference will bring together top researchers from around the world to discuss higher-order logic theorem provers. A conference allows new ideas to be disseminated more rapidly than is possible through the literature. Applications of this subject include, among others, hardware verification & synthesis, and verification of security & communications protocols. NSF is giving $10,000 for scholarships to subsidize up to 20 students who would otherwise be unable to attend.