自动推理的实践方面

[IJCAR标志] 自动推理的实践方面是与国际联合会有关的一系列讲习班自2008年以来举行的自动推理会议。PAAR公司为自动推理工具的开发人员提供了一个论坛讨论和比较不同的实现技术，以及供用户讨论和交流其应用程序和要求。研讨会汇集了不同的小组集中精力于自动化推理工具的实现和应用。

每个PAAR都由项目主席组织。自2014年以来，PAAR的长期演化受PAAR控制指导委员会，由所有过去的项目组成椅子。目前，指导委员会有以下内容成员：

PAAR研讨会

[悉尼天际线] 弗斯特自动化的实际方面讲习班推理（澳大利亚悉尼，2008）
[斯科特纪念碑的剪影] 第二自动推理实践方面研讨会（英国爱丁堡，2010年）
【曼彻斯特市政厅门厅】 第三自动推理实践方面研讨会（英国曼彻斯特，2012年）
[维也纳卡尔斯克] 第四自动推理实践方面研讨会（奥地利维也纳，2014）
[科英布拉大学] 第五次研讨会自动推理的实践方面（葡萄牙科英布拉，2016)
[牛津叹息桥] 第六名自动推理实践方面研讨会（英国牛津，2018）
【巴黎塞纳河埃菲尔铁塔视图】 第七自动推理实践方面研讨会(巴黎，法国在线，星球地球，2020年）
【以色列海法的巴哈伊神社】 第八自动化推理实践方面研讨会（海法，以色列）
[法国南希斯坦尼斯拉斯广场] 第九名自动化推理实践方面研讨会（Nancy，法国）
创意公用许可证.