13th International Conference on Theorem Proving in Higher Order Logics

第十三届高阶逻辑定理证明国际会议

• 批准号: 0072763
• 负责人: Richard Kieburtz
• 金额: $ 1万
• 依托单位: Oregon Health & Science University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2000
• 资助国家: 美国
• 起止时间: 2000-07-01 至 2001-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0072763&HistoricalAwards=false
• 关键词: 13th; International; Conference; Theorem; Proving

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.

CCR-0072763理查德Kieurtz俄勒冈格拉德研究所这是一个赠款，以支持第13届年度会议定理证明在高阶逻辑（TPHOLs 2000）将举行的俄勒冈州研究所在2000年8月。这次会议将汇集来自世界各地的顶级研究人员讨论高阶逻辑定理证明。 会议使新思想比通过文献传播得更快。 这个主题的应用包括，除其他外，硬件验证综合，和安全通信协议的验证。 NSF将提供10，000美元的奖学金，以资助最多20名无法参加的学生。