1、第18届FST&TCS会议：软件技术与理论计算机科学的前沿探讨

第18届FST&TCS会议：软件技术与理论计算机科学的前沿探讨

1. 会议概述

1998年12月17日至19日，第18届软件技术与理论计算机科学基础会议（FST&TCS 1998）在印度钦奈成功举办。此次会议由印度计算科学研究协会（IARCS）主办，汇集了来自全球22个国家的93份高质量投稿。每篇论文都经过至少三位独立审稿人的严格评审，最终精选出28篇论文进行会议交流。会议不仅展示了最新的研究成果，还邀请了六位特邀演讲者分享他们的见解和经验，其中包括Rajeev Alur、Ken McMillan、Neil Immerman、John Reif、Erik Meineche Schmidt和Umesh Vazirani。

会议围绕两大主题展开：模型检查和量子计算。此外，会议前还举办了两场相关活动：分子计算研讨会（12月14-15日）和有限模型理论学校（12月15-16日）。这些活动为与会者提供了深入学习和交流的机会。

2. 会议出版信息

会议论文集由施普林格出版社出版，属于Lecture Notes in Computer Science系列，卷号为1530，ISBN为3-540-65384-8。论文集的编辑为V. Arvind和R. Ramanujam。该系列的主编包括Gerhard Goos、Juris Hartmanis和Jan van Leeuwen。论文集涵盖了多个领域的最新进展，包括但不限于计算复杂性、形式验证、编程语言理论和分布式计算。