加州大学。磅

• 路径
• ›加州大学。磅
• ›英文版
• ›事件
• ›自动化研究国际联席会议。。。

国际JCAR是关于自动化推理，包括基础、实现和应用程序，由几次主要会议和研讨会组成。

以前的会议是在奥地利维也纳，2014年；英国曼彻斯特，2012年；英国爱丁堡，2010年；澳大利亚悉尼，2008年；美国西雅图，2006年；科克，爱尔兰，2004年；2001年，意大利锡耶纳。

IJCAR 2016将由数学系主办葡萄牙科英布拉大学。

会议记录将由LNCS公司系列。文件征集和召开研讨会.

受邀演讲人

阿诺·阿夫伦特拉维夫大学(标题，摘要)	吉尔斯·巴特、IMDEA、马德里(标题，摘要)	苏米特·古尔瓦尼、MSR、雷蒙德(标题，摘要)	安德烈·普拉泽、CMU、匹兹堡(标题，摘要)

主办单位

		
		
	 项目资助UID/MAT/00297/2013	

在的支持下



马特马提卡省