第15届SAT语用学国际研讨会将与第27届可满足性理论与应用国际会议测试将于2024年8月20日在印度浦那举行。
SAT语用学（PoS）系列研讨会的目的是为从事布尔可满足性设计和/或应用的研究人员（SAT）解算器和相关解算器技术，包括但不限于可满足性模理论（SMT）、答案集编程（ASP）和约束编程（CP）及其优化对应项，会见并分享对实际解决方案的基本理论见解，以及有关其系统的新的实现级技术细节。
感兴趣的主题包括但不限于：
- 高效的数据结构
- 调试或验证解算器的技术
- 基准结构的可视化
- 监视解算器行为
- 求解器的评估
- 特定于域的编码
- 特定领域的启发式
- 求解器API
- 系统和库描述
- 基于约束技术的新（成功）应用
- 基于约束技术的新（潜在）用例
- 约束求解与机器学习
- 使用多核或分布式技术进行扩展
- 应用SAT研究的过去反思与未来展望（欢迎发表立场文件和会谈）
2024年特别呼吁：
除了通常的类别起初的,工作-收益、和仅演示论文，新版研讨会欢迎提交给以下轨道：
所有提交的文件将由项目委员会审查，项目委员会将选择高质量捐款的平衡计划。如果有足够数量的研讨会（6+）接受原始和竞赛跟踪文件，a《CEUR-WS会议录》的会后会议记录将予以公布。
重要日期：
- 摘要提交截止日期：2024年5月13日（除SAT快速通道和竞赛解决方案描述外的所有提交文件）
- 论文提交截止日期：2024年5月18日
- SAT快速通道提交截止日期：2024年5月27日（不需要单独的摘要注册）
- 竞赛解决方案描述提交截止日期：2024年6月5日（不需要单独的摘要注册）
- 提交人通知：2024年6月23日
- 修订版截止日期：2024年7月14日
- 研讨会：2024年8月20日
有关更多信息，请访问研讨会网状物第页.
