新闻

• 受邀演讲通过奥拉夫·贝耶斯多夫
• 网站已联机

重要日期

• 论文提交：2015年5月24日（延长期限）
• 通知验收：2015年6月7日
• 摄像头就绪：2015年6月23日
• 研讨会：2015年8月3日（从8月1日起）

2015年CADE研讨会

德国柏林

概述

量词在许多逻辑的语言扩展中起着重要作用。量词的使用通常允许更简洁的编码，因为它可能不需要量词。然而，量词的引入总体上影响了扩展形式主义的复杂性。在因此，为无量词形式主义建立的理论结果可能不会直接转移到量化案例中。此外，在推理中成功实现的技术用于无量词公式的工具不能直接提升到量化版本。

量化研讨会（QUANTIFY 2015）的目标是将研究人员聚集在一起世卫组织从理论和实践两个角度调查量化的影响视图。量化是不同研究领域的一个主题，例如，在SAT中，就QBF而言，在CSP中在QCSP、SMT等方面，本研讨会旨在提供跨学科的各领域研究人员交流经验的论坛。

特别是，研讨会应考虑以下主题：

• 量化的理论方面
• 量化的实际方面
• 致力于量化的不同研究团体之间的交叉点

受邀演讲人

• 奥拉夫拜尔斯多夫，英国利兹大学

重要信息

• 提交：请参阅呼叫和提交说明了解更多信息。
• 研讨会于2015年8月3日星期一举行
• 查找有关会场

我们期待着研讨会取得成功柏林见！

联系人

quantify2015@easychair.org

上一版本

这个第一版本QUANTIFY研讨会于2014年在维也纳举行FLoC背景（隶属于国际JCAR).