2、第18届FST&TCS会议：会议与出版信息

第18届FST&TCS会议：会议与出版信息

1. 会议概况

第18届软件技术与理论计算机科学基础会议（FST&TCS）于1998年12月17日至19日在印度钦奈举行。该会议由印度计算科学研究协会主办，吸引了来自全球22个国家的93份高质量稿件。每篇稿件都经过至少三位独立审稿人的严格评审，最终有28篇论文入选会议议程。会议不仅汇集了学术界的顶尖学者，还邀请了六位特邀演讲者，分别为Rajeev Alur、Ken McMillan、Neil Immerman、John Reif、Erik Meineche Schmidt和Umesh Vazirani，他们带来了前沿的研究成果和深刻见解。

1.1 特邀演讲

会议安排了多个特邀演讲，涵盖了一系列热门话题。例如，Neil Immerman的演讲题为“描述性复杂性与模型检查”，深入探讨了描述性复杂性理论及其在计算机辅助验证中的应用。John Reif则聚焦于“替代计算模型：生物分子计算与量子计算的比较”，详细分析了这两种新兴计算模型的特点和潜力。此外，Erik Meineche Schmidt和Umesh Vazirani分别就“BRICS与量子信息处理”和“量子计算与信息”进行了精彩的报告，展示了量子计算领域的最新进展。

1.2 主题会议

会议设置了两个主题会议，分别是“模型检查”和“量子计算”。模型检查主题会议由Alur和McMillan担任特邀演讲者，讨论了模型检查技术在形式验证中的应用。量子计算主题会议则由Schmidt和Vazirani主持，重点介绍了量子计算的基本原理及其在信息处理中的应用。

2. 出版信息

2.1 出版物