抽象是许多程序验证和确认（V&V）方法的重要组成部分，使得易处理的计算问题通常过于复杂，如果在其原始（非抽象）公式中考虑，则通常无法确定。这种抽象是使用数据和抽象操作的抽象表示来建模的，从而产生抽象域抽象域嵌入了与抽象过程相关的语义选择、数据结构、算法方面和实现决策，因此，它们在V&V中起着核心作用，应用于基于抽象解释的静态分析、模型检查和符号执行等。
到目前为止，已经设计了许多抽象域：数值域（例如区间、同余、多面体、多项式）、符号域（例如形状域、树）以及域操作符（例如乘积、幂集、补全），并且已经应用于几种V&V问题（例如程序安全、终止、可达性）在各种系统上（例如，硬件、软件、神经网络）。
这个NSAD研讨会的目标讨论与抽象领域相关的理论、实践、应用、实现和实验方面的进展中的工作、最新进展、新想法和经验。今年，特别欢迎与神经网络、动态/混合系统、分布式系统、量子软件和区块链软件（例如智能合约）以及部分和模块化程序分析相关和/或应用的贡献。
NSAD 2024将于2024年10月22日在美国帕萨迪纳举行，与SAS 2024，作为的一部分斯普拉什2024.
此前的研讨会分别在法国巴黎（2005）、法国佩皮尼昂（2010）、意大利威尼斯（2011）、法国多维尔（2012）、德国慕尼黑（2014）、英国爱丁堡（2016）、美国纽约（2017）、葡萄牙波尔图（2019）和美国芝加哥（2020）举行。
文件征集
10第个数字和符号抽象域国际研讨会（NSAD 2024）将于2024年10月22日在美国帕萨迪纳举行，与SAS 2024，作为的一部分斯普拉什2024.
抽象是许多程序验证和确认（V&V）方法的重要组成部分，使得易处理的计算问题通常过于复杂，如果在其原始（非抽象）公式中考虑，则通常无法确定。这种抽象使用数据和抽象操作的抽象表示进行建模，从而生成抽象域。抽象域嵌入了与抽象过程相关的语义选择、数据结构、算法方面和实现决策，因此，它们在V&V中起着核心作用，应用于基于抽象解释的静态分析、模型检查和符号执行，仅举几个例子。
到目前为止，已经设计了许多抽象域：数值域（例如区间、同余、多面体、多项式）、符号域（例如形状域、树、字符串）以及域运算符（例如乘积、幂集、补全），并已应用于各种系统（如硬件、软件、神经网络）上的几种V&V问题（如程序安全、终止、可达性）。
NSAD研讨会的目标是讨论与抽象领域相关的理论、实践、应用、实施和实验方面的进展中工作、最新进展、新想法和经验。今年，特别欢迎与神经网络、动态/混合系统、分布式系统、量子软件和区块链软件（例如智能合约）以及部分和模块化程序分析相关和/或应用的贡献。
NSAD 2024的技术计划将包括邀请的会谈和演讲，后者以提交的完整论文和简短论文为基础。
提交的资料可以涵盖抽象领域理论和实践的任何方面，以及它们在行业中采用的实证评估和报告。我们邀请提交的主题包括但不限于：
- 数值抽象域
- 符号抽象域
- 抽象域上的外推和加速
- 抽象域上的新运算符
- 抽象域上的组合和操作
- 抽象域的数据结构和算法
- 抽象域的新应用
- 抽象域实现的经验评估
- 关于抽象域的实际实验和比较
- 抽象领域开发中的实现方面/挑战
- 行业采用抽象域的报告
- 抽象域在程序验证中的应用
- 抽象域在量子软件中的应用
- 抽象域在区块链软件中的应用（例如，智能合约）
- 抽象域在人工智能和机器学习中的应用
- 分布式系统中抽象域的理论与实践
- 关于抽象领域或密切相关概念的案例研究或问题陈述
我们邀请提交以下两类文件。
- 全文（6-8页，包括参考文献）：这些提交材料应描述在上述或相关领域推动当前技术水平的工作。
- 短文（2-4页，包括参考文献）：这些提交文件可以描述正在进行的工作、工具、实验、概述或对上述或相关领域现有工作的改进。
提交文件必须符合ACM SIGPLAN风格(acmart公司格式-信号平面图子格式，请参见http://www.sigplan.org/Resources/Author/#acmart-格式详细说明），并且必须通过HotCRP的NSAD 2024作者界面提交(http://nsad24.hotcrp.com). 所有提交的材料将由项目委员会至少三名成员进行质量和相关性同行审查。
全文将经过双盲审查过程。全文正文中不得出现作者姓名和地址，并且应避免使用第三人称进行自我引用。短文将经历单盲审查过程。短篇论文的作者信息无需匿名。
全部接受全文将由ACM出版，并通过ACM数字图书馆提供。预计至少有一位合著者将在研讨会上发表论文。
短文不会在ACM数字图书馆中发布，只会出现在研讨会网站上。在NSAD 2024上接受短篇论文并不是为了阻止以后在其他地方发表。
