这个第十一届逻辑实施国际研讨会将于2015年11月与第20届国际程序设计、人工智能和推理逻辑会议，位于南太平洋大学在斐济苏瓦。

我们正在寻找描述自动推理程序、各种逻辑的定理证明器、逻辑编程系统和相关技术的实现技术和实现的贡献。感兴趣的主题包括但不限于：

1. •命题逻辑和决策程序，包括SMT
   

2. •一阶和高阶逻辑
   

3. •非经典逻辑，包括模态、时序、描述、非单调推理
   

4. •有效实现逻辑的形式基础
   

5. •有效表示和处理逻辑概念的数据结构和算法
   

6. •逻辑推理系统的证明/模型搜索组织和启发式
   

7. •搜索控制的数据分析和机器学习方法
   

8. •证明/模型搜索可视化和分析技术
   

9. •实际约束处理
   

10. •用本体论和其他大型理论进行推理
    

11. •不同逻辑的高效定理证明器和模型发现器的实现
    

12. •逻辑推理系统的系统描述
    

13. •可靠性、证人生成和证人核实问题
    

14. •校准仪和其他基于逻辑的系统的评估和基准测试
    

15. •I/O标准和推理系统之间的通信
    

我们对帮助社区了解如何构建有用且强大的推理系统以及如何将其应用于实践的贡献特别感兴趣。

邀请有兴趣参与的研究人员通过IWIL-2015的EasyChair页面.

提交的材料将由项目委员会进行评审，该委员会将选择一个具有高质量贡献的平衡项目。

提交文件应采用标准的PDF格式。最终版本需要使用easychair.cls软件类文件。会议记录将以EasyChair会议记录的形式发布。

如果提交材料的数量和质量有保证，我们计划制作一期关于研讨会主题的公认期刊。

会议记录：

1. 初步程序（4.5 MB PDF）
   

2. 这个最后程序作为第40卷出版EPiC计算
   

程序：

1. 下载（59 KB PDF）
   

1. YouTube演示波杜因·勒·查利尔和梅顿·梅顿·阿丁杜，一种简化表达式的方法：直觉和初步实验结果(第2部分)(第3部分)(第4部分)
   

重要日期（暂定）：

项目委员会：

  

之前的研讨会：

1. •Reunion研讨会（与2000年LPAR留尼汪岛）
   

2. •第二次研讨会（带有2001年LPAR古巴哈瓦那）
   

3. •第三次研讨会（带有2002年LPAR格鲁吉亚第比利斯）
   

4. •第四次研讨会（带有2003年LPAR哈萨克斯坦阿拉木图）
   

5. •第五次研讨会（带有2004年LPAR在乌拉圭蒙得维的亚）
   

6. •第六次研讨会（带有2006年LPAR柬埔寨金边）
   

7. •第七次研讨会（带有2008年LPAR卡塔尔多哈）
   

8. •第八次研讨会（带有2010年LPAR印尼日惹）
   

9. •第九次研讨会（带有2012年LPAR委内瑞拉梅里达）
   

10. •第十次研讨会（带有2013年LPAR南非斯特伦博什）
    

印象派

图片来源：M.Sundstrom通过维基媒体平民