第六届国际研讨会
论逻辑的实现

将在2006年11月12日，作为的一部分

第十三届国际程序逻辑会议，人工智能与推理
柬埔寨金边，2006年11月13日至17日

IWIL系列研讨会将以下系统的开发人员和用户聚集在一起：实现逻辑推理，共享成功信息自动推理系统和类似程序的实现技术。所有类型的系统（自动、交互式等），以及所有逻辑（古典、非古典、所有订单等）是研讨会感兴趣的。感兴趣的主题包括但不限于：

帮助社区了解如何建立有用的实践中强大的推理系统尤其令人感兴趣。

以前的IWIL研讨会包括第五届IWIL（乌拉圭蒙得维的亚），第四届IWIL（哈萨克斯坦阿拉木图），第三个IWIL（格鲁吉亚第比利斯），第二个IWIL（古巴哈瓦那），和第一个IWIL（留尼汪岛）。

期刊出版物

这个应用逻辑、人工智能和计算机算法杂志科学已经同意围绕IWIL研讨会主题的一期特刊。该专题针对IWIL参与者，但也将接受来自更广泛社区的意见。

组织

程序 诉讼
组织者和项目合作伙伴
克里斯·本兹米勒（德国萨尔兰大学）
伯恩德·菲舍尔（英国南安普顿大学）
杰夫·萨特克利夫（美国迈阿密大学）

项目委员会
沃尔夫冈·阿伦特（瑞典查尔默斯理工大学）
安布拉根语（澳大利亚国家ICT）
谢尔盖·奥特谢尔（德国萨尔兰大学）
查德·布朗（德国萨尔兰大学）
汉斯·德尼维尔（Max-Planck Institute für Informatik，德国）
亚历山大·富克斯（美国爱荷华大学）
托马斯·希伦布兰德（Max-Planck Institute für Informatik，德国）
波利斯·寇涅夫（英国利物浦大学）
康斯坦丁柯罗文（英国曼彻斯特大学）
阿尔伯特·奥利弗拉斯（西班牙加泰罗尼亚技术大学）
布里吉特·皮恩特卡（加拿大麦吉尔大学）
斯蒂芬·舒尔茨（德国慕尼黑理工大学）
沃尔克·索尔格（英国伯明翰大学）
Alwen Tiu先生（澳大利亚国立大学，澳大利亚）
乌尔里希·赫斯塔特（英国利物浦大学）

提交

现邀请提交论文供研讨会上演示。将审查提交文件（使用这份评审表),并将选择一个高质量捐款的平衡方案。提交文件必须为PDF格式，并且必须符合LaTeX制作的格式具有此模板.有20页的限制。问题或计算机输出的长列表应归入引用的WWW站点。

提交方式为轻松头发（感谢安德烈·沃伦科夫）。选定的稿件将作为研讨会记录印刷，以及也将发布为CEUR研讨会论文集.

重要日期