2011年CADE

CADE是展示所有研究的主要论坛自动扣除方面。会议计划将包括受邀演讲、论文演示、系统描述、研讨会、教程和系统竞赛。

我们邀请高质量提交关于自动扣除，包括基金会、应用程序、，实施和实践经验。

相关逻辑包括但不限于：

*命题、一阶、等式、高阶，经典、描述、模态、时间、多值、，直觉主义、其他非经典、元逻辑、逻辑框架、类型理论和集合理论。

感兴趣的方法包括但不限于

*饱和度、分辨率、基于实例、tableaux、，顺序计算，自然演绎，术语重写，决策程序、模型生成、模型检查、，约束求解、归纳、统一、证明规划，校对、出示和解释。

感兴趣的应用包括但不限于

*程序分析和验证、硬件验证、，综合、系统软件和硬件测试，（计算机辅助）数学、自然语言处理、，计算语言学、知识表示、本体推理、演绎数据库、函数和逻辑编程、机器人、规划和其他人工智能领域。

http://cade23.ii.uni.wroc.pl/