CALL FOR PAPERS 6th International Conference on Interactive Theorem Proving(ITP 2015)

被引：0

作者：

机构：

来源：

计算机应用研究 | 2015年 / 02期

关键词：

CALL FOR PAPERS 6th International Conference on Interactive Theorem Proving; ITP; 2015;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

24;7 August 2015,Nanjing,China http://www.inf.kcl.ac.uk/staff/urbanc/itp-2015/ITP is the premier international conference for researchers from all areas of interactive theorem proving and its applications.The sixth conference will be held on 24 through 27 August 2015 in Nanjing.Topics The programme committee welcomes submissions on all aspects of interactive theorem proving and its applications.The topics include,but are not limited to,the following:Specification and verification of hardware:microprocessors,memory systems,pipelines,etc;formal semantics of hardware

引用

页码：316 / 316

页数：1