13、高阶逻辑定理证明会议：TPHOLs 2002 概览

高阶逻辑定理证明会议：TPHOLs 2002 概览

1. 会议概述

TPHOLs 2002 即第 15 届国际高阶逻辑定理证明会议，于 2002 年 8 月 20 - 23 日在美国弗吉尼亚州汉普顿举行。该会议为高阶逻辑定理证明及相关领域，如演绎、形式化规范、软硬件验证等的研究成果提供了展示平台。

会议收到 34 篇完整研究类论文投稿，每篇均由程序委员会的至少三名评审或其指定的评审进行评审，最终 20 篇论文被接受并在会议上展示，同时收录于会议论文集。此外，按照惯例，会议还设置了“正在进行的工作”展示环节，研究人员先进行简短介绍演讲，随后通过开放海报展示进行进一步讨论，该环节接受的论文以《Conference Proceedings CP NASA - 2002 - 211736》形式出版。

2. 会议组织

2.1 组织团队

TPHOLs 2002 由美国国家航空航天局兰利研究中心（NASA Langley）、兰利研究中心的 ICASE 研究所和康考迪亚大学（Concordia University）合作组织。具体组织架构如下：
| 角色 | 人员 | 所属机构 |
| — | — | — |
| 会议主席 | V´ıctor A. Carre˜no | NASA Langley |
| 程序主席 | C´esar A. Mu˜noz | ICASE, NASA LaRC |
| 程序主席 | Sofi`ene Tahar | Concordia University |

2.2 程序委员会

程序委员会成员来自世界各地的知名研究机构和企业，他