2020年国家统计局

摘要域是抽象解释理论和实践中的一个关键概念。它们嵌入了语义选择、数据结构和算法方面以及实现决策。抽象解释框架为设计、组合、比较、研究、证明和应用抽象领域提供了建设性和系统化的形式化方法。到目前为止，已经设计了许多抽象域：数值域（区间、同余、多面体、多项式等）、符号域（形状域、树等），以及域运算符（乘积、幂集、补全等），并已应用于多种静态分析（安全、终止、概率等）在各种系统上（硬件、软件、神经网络等）。NSAD研讨会的目标是讨论与抽象领域和/或其组合相关的理论、实践、应用、实施和实验方面的进展中工作、最新进展、新想法和经验。今年的版本特别欢迎与神经网络、动力学和混合系统分析相关和/或应用的抽象领域。

以前的研讨会在

• 2019年国家统计局葡萄牙波尔图（2019年），
• 2017年国家统计局.美国纽约州纽约市（2017年），
• 2016年国家统计局英国爱丁堡（2016），
• 2014年国家统计局德国慕尼黑（2014），
• 2012年国家统计局.法国多维尔（2012），
• 2011年国家统计局意大利威尼斯（2011），
• 2010年国家统计局佩皮尼昂，法国（2010），
• 2005年国家统计局巴黎，法国（2005）。

接受的论文

文件征集

第九届数字和符号抽象域国际研讨会（NSAD 2020）

2020年11月17日

与第27届静态分析研讨会（SAS 2020）合办

SPLASH 2020年11月15日至20日，美国伊利诺伊州芝加哥

目标

摘要域是抽象解释理论和实践中的一个关键概念。它们嵌入了语义选择、数据结构和算法方面以及实现决策。抽象解释框架为设计、组合、比较、研究、证明和应用抽象领域提供了建设性和系统化的形式化方法。到目前为止，已经设计了许多抽象域：数值域（区间、同余、多面体、多项式等）、符号域（形状域、树等），以及域运算符（乘积、幂集、补全等），并已应用于多种静态分析（安全、终止、概率等）在各种系统上（硬件、软件、神经网络等）。NSAD研讨会的目标是讨论与抽象领域相关的理论、实践、应用、实施和实验方面的进展中工作、最新进展、新想法和经验。今年的版本特别欢迎与神经网络、动力学和混合系统分析相关和/或应用的抽象领域。

此前的研讨会分别在法国巴黎（2005）、法国佩皮尼昂（2010）、意大利威尼斯（2011）、法国多维尔（2012）、德国慕尼黑（2014）、英国爱丁堡（2016）、美国纽约（2017）和葡萄牙波尔图（2019）举行。

范围

NSAD 2020的技术计划将包括受邀讲座和演讲，基于提交的常规论文、短文或扩展摘要。

提交文件可以涵盖数字和符号抽象域的任何方面，例如：

• 来自亲密社区的案例研究或问题陈述
• 数字抽象域
• 符号抽象域
• 外推和加速
• 抽象域上的组成和操作
• 抽象域的数据结构和算法
• 抽象域实现的新应用
• 实际实验和比较
• 实施方面

提交说明

我们邀请提交以下两类文件：

1. 常规论文（6-10页，包括参考文献）：这些提交的论文应描述在上述或相关领域推动当前技术水平的工作。

2. 短篇论文或扩展摘要（2-5页，包括参考文献）：这些提交材料可以描述上述或相关领域正在进行的工作、工具、实验、概述或现有工作的改进。

必须使用ACM风格通过HotCRP的NSAD 2020作者界面在线提交(https://nsad2020.hotcrp.com). 对于格式，请对所有纸张使用SIGPLAN acmart样式：http://www.sigplan.org/Resources/Author网站/.

所有提交的材料将由项目委员会至少三名成员进行同行审查，以确保质量和相关性。

诉讼

所有被接受的论文将被ACM考虑出版，并将通过ACM数字图书馆提供，除非作者不愿意被包括在内。预计其中一位合著者将在研讨会上介绍该论文。

重要日期

• 常规论文的提交截止日期：2020年9月4日（AoE），2020年9月14日（AoE）
• 简短论文或延长摘要的提交截止日期：2020年9月18日（AoE）2020年9月20日（AoE）
• 中标通知书：2020年9月30日
• 相机准备就绪日期：2020年10月9日（AoE）

地点和注册

有关详细信息，请参阅SPLASH 2020主页。