1、自动定理证明系统MetiTarski：架构、决策过程与应用前景

自动定理证明系统MetiTarski：架构、决策过程与应用前景

1. 会议概述

2013年9月18 - 20日，第9届国际组合系统前沿研讨会（FroCoS 2013）在法国南锡举行。此前，该会议曾在慕尼黑、阿姆斯特丹、南锡等地举办。2004、2006、2008、2010和2012年，FroCoS是国际自动推理联合会议（IJCAR）的一部分。

本次会议与第22届国际解析表和相关方法自动推理会议（TABLEAUX 2013，9月16 - 19日）同期同地举行，这为组织联合科学和社交活动提供了机会。会议程序委员会从33篇高质量投稿中接受了20篇论文，此外还有四场邀请讲座：
- “Witness Runs for Counter Machines”，演讲者St´ephane Demri
- “From Resolution and DPLL to Solving Arithmetic Constraints”，演讲者Konstantin Korovin
- “Specification and Verification of Linear Dynamical Systems: Advances and Challenges”，演讲者Jo¨el Ouaknine
- “MetiTarski’s Menagerie of Cooperating Systems”，演讲者Lawrence C. Paulson

其中，St´ephane Demri的演讲是FroCoS - TABLEAUX联合邀请讲座。

会议的成功举办离不开众多人员和组织的支持，包括投稿作者、参会者、邀请演讲者、程序委员会成员、评审人员、FroCoS指导委员会成员等，同时也感谢相关