2017年1月
特殊问题开启
自动推理系统
自动推理杂志
话题
在过去的几十年里，自动化推理系统取得了重大发展和实际成就。例如，SAT求解已成为标准硬件生产过程的固有部分；SMT求解器现在是大多数软件验证技术的主干；一阶定理证明器将交互式定理证明的生产力提高到了一个新的水平；计算机代数系统具有解决数学和生物方面的难题；知识表示系统已变得不可或缺在万维网上进行推理；自动终止检查器通常会证明复杂程序的终止。
本期特刊致力于自动推理系统在以下方面的全面发展：
1） 考虑逻辑：命题（包括（D）QBF）、一阶模理论、模态、时间、较大逻辑的可判定碎片、FOL和HOL；
2） 考虑的问题：可满足性、插值、量词消去、结果发现、模型建立、可达性、终止等。。。；
3） 应用领域：形式方法、人工智能、数学、生物学、产品开发、安全。。。；
4） 用户群：学术、教育或工业。
特别是，我们欢迎强调工程方面的论文，因为尽管通常对自动推理工具的成功至关重要，在会议或研讨会上发表的理论论文或系统描述论文中，他们通常没有得到足够详细的处理。
提交
我们欢迎描述过去未在期刊上发表的工作的全长论文，以及描述新工作的任何长度的论文发展。未出现在档案期刊上的会议记录中发表的论文的修订版和增强版也有资格提交。所有提交的材料都将根据学术和原创性的通常标准进行审查。
我们鼓励提交包含以下大部分（如果不是全部）内容的文件：
（i） 理论细节
（ii）实施细节
（iii）应用程序，以及
（iv）实验。
论文应为PDF格式，遵循JAR指南对于作者，以及提交时使用：https://easychair.org/conferences/？conf=jars2017
为了鼓励快速审查周期，我们希望提交文件的作者根据需要担任其他提交文件的裁判。
重要日期：
2017年5月8日：提交截止日期2017年11月15日：接受/拒绝通知2018年3月1日：最终版本
特邀编辑
特邀编辑