本文是第20届编程语言与安全分析研讨会(PLAS 2025)的会议通知。PLAS为学术界和工业界提供了一个探讨如何利用编程语言和程序分析技术来增强软件系统安全性的论坛，覆盖范围从底层编译器到机器学习模型和智能合约等新兴领域。研讨会鼓励提出新颖且富有前瞻性的观点，对新兴威胁和问题进行讨论，并特别欢迎立场论文，以激发关于编程语言与安全交叉领域未来研究方向的深刻讨论。自2007年在圣地亚哥首次举办以来，PLAS已走过20年，成为该领域的重要学术活动。今年的会议将包括两场主旨演讲（分别由Limin Jia和Jan Reineke主讲）以及5篇论文报告。对于安全防御者而言，该研讨会所呈现的研究成果可能推动更先进的静态分析、形式化验证、类型系统、程序修复等技术，从而提升软件供应链安全、智能合约审计以及机器学习模型的可信性。虽然本通知未提供具体技术细节，但其中提及的研究方向对于构建更可靠的漏洞检测工具和开发安全方法具有潜在价值。

本文是关于第18届编程语言与安全分析研讨会（PLAS）的会议介绍。PLAS 是一个专注于探索和评估编程语言与程序分析技术在安全领域应用的学术论坛，覆盖范围广泛，从编译器、机器学习模型到智能合约等各类软件系统。研讨会鼓励提出新颖的、探索性的想法，评估新技术或已有技术在实际环境中的效果，并讨论新兴威胁与问题。此外，PLAS 还欢迎立场论文，这些论文通常具有前瞻性和激进性，旨在引发富有洞察力的讨论，从而影响编程语言与安全交叉领域的未来研究方向。本届研讨会是该系列的第18届，首届于2007年在圣地亚哥举行。会议预计将呈现精彩的项目和丰富的讨论。