社论：介绍新任主编

形式化方法领域权威期刊《Formal Aspects of Computing》新任主编团队正式履职，传承Jim Woodcock与Cliff Jones近40年办刊经验。新团队计划通过编委会多元化、增设AI与形式化交叉专题、优化审稿流程等举措提升影响力，并已启动DOI引用规范与社交媒体推广。现诚邀学界同仁建言献策，共同推动期刊成为形式化方法领域的核心学术平台。

　　自2025年7月1日起，我们接任了《Formal Aspects of Computing: Applicable Formal Methods (FAC)》的主编职务。我们感到既兴奋又有些忐忑，因为我们要继承Jim Woodcock和Cliff Jones的衣钵——他们每一位都担任FAC的主编长达约19年。Cliff是该期刊的创始主编，他在1989年3月1日发表了该期刊的第一期[1]。2007年，Jim加入了他的行列，共同担任主编[2]，这一任期持续了一年。2008年，Cliff完全将主编职责交给了Jim[4]，而Jim则一直担任主编直至2025年6月[5]。FAC能够发展到今天的规模，离不开他们两位的辛勤付出。 如今，FAC已成为形式方法（Formal Methods, FM）领域的主要期刊。除了发表一流的原创研究论文外，该期刊还刊登书评、讣告以及关于热点话题的特刊，同时也会精选来自重要会议（如FME Symposium on Formal Methods）的优秀论文。此外，FAC还是一份开放获取的期刊。我们坚信开放获取是出版业的未来发展方向，这也是我们选择投身于FAC的主要原因之一。 尽管该期刊发展势头良好，但仍有改进的空间。我们致力于提高高质量投稿的数量和范围，并缩短审稿周期，以进一步提升其声誉。作为联合主编，我们将共同承担编辑工作，这样就有更多时间与编辑委员会成员和顾问一起探讨期刊的发展策略。我们设想了几条可能的路径。 自FAC创刊以来，形式方法领域取得了显著进展，如今全球已有众多研究者致力于各类有趣的研究课题。首先，我们需要调整编辑委员会成员构成，以更好地反映社区在研究主题、地域分布和性别平衡方面的多样性。同时，我们希望扩展期刊的覆盖范围，纳入新兴研究方向（例如，目前没有任何编辑委员会成员专注于人工智能领域），从而鼓励投稿涉及人工智能中的形式方法、人工智能组件的安全性和鲁棒性，以及学习系统的形式化分析等内容。当然，我们也会确保投稿作者的背景具有多样性（如地域背景和职业阶段）。 我们可以采取更主动的措施来推出专题特刊，通过与领域内的关键人物联系来反映当前的趋势和新兴话题。其次，我们可以在期刊中刊登关于特定主题的综述性、教程性或入门性文章，这类似于ACM Computing Surveys的做法，但更侧重于数学上的严谨论述。此外，我们还可以丰富现有栏目（如讣告和书评）的内容，例如增设关于形式方法教学的专题栏目、采访行业知名专家，以及分享对该领域及其发展的见解。 既然我们已经适应了新的角色并熟悉了编辑工作，我们将与编辑委员会召开会议，讨论上述想法以及成员们的意见。我们也非常欢迎读者的建议。我们已经采取了具体行动：要求所有投稿的参考文献都必须提供DOI（只要可能的话），以便审稿人能够快速核实参考文献的真实性（这显然已成为必要[1]）。我们还在努力增强FAC在社交媒体上的影响力，例如推广最新发表的文章并提高期刊的知名度。未来还会有更多举措陆续推出。 在主编更迭期间，有些成员选择离职也是常见现象。我们非常感谢Gerwin Klein、David Duke、Ursula Martin、Erik de Vink以及曾担任北美地区主编的Jeannette Wing多年来为FAC所做的贡献。我们决定不再为某个特定地区配备专职编辑。 在未来三年里，我们期待作为FAC的主编为形式方法社区服务，并感谢遴选委员会、ACM出版委员会和英国计算机协会（BCS, The Chartered Institute for IT）对我们的信任。同时，我们也感谢John Cooke长期以来作为FAC执行主编所付出的努力。 特别地，我们希望听到您——形式方法社区的所有成员以及现任和未来的投稿者——的意见，看看您希望在我们期刊中看到哪些内容。让我们共同努力，让FAC继续作为形式方法领域的主要期刊蓬勃发展。