中国站
国际站
软件
办会软件
网络研讨会
视频会议
虚拟会议
机构版
软件下载
会议
专业分类
国内活动
海外活动
报告频道
索引
服务
创建活动
讲座
研讨会/课程
会议
登录
注册
第六届交互式定理证明国际会议
6th International Conference on Interactive Theorem Proving (ITP 2015)
2015年08月24日~27日
中国 · 南京市
会议
线下活动
0
浏览
0
条评论
收藏
分享
摘要清单
我的稿件
主题
大会主题
状态
已撤稿
摘要待审
摘要被拒
摘要录用
全文待审
需要修改
全文被拒
全文录用
终稿
作者姓或名
作者单位
稿件标题
稿件活动内ID
稿件系统ID
活动首页
活动日程
时刻表
摘要清单
活动相册
我的审稿
管理活动
重要日期
会议日期
08月24日
2015
至
08月27日
2015
03月09日
2015
摘要截稿日期
03月13日
2015
初稿截稿日期
06月05日
2015
终稿截稿日期
08月27日
2015
注册截止日期
主办单位
伦敦国王学院
解放军理工大学
联系方式
王金双
so******@126.com
-**********
134*********
登录查看完整联系方式
历届会议
2013年07月22日 法国
第4届国际交互式定理证明会议
联系方式
×
会议网址:
http://www.inf.kcl.ac.uk/staff/urbanc/itp-2015/
提示
×
即将访问第三方域名
您即将访问第三方域名,请注意您的账号和财产安全。
http://www.inf.kcl.ac.uk/staff/urbanc/itp-2015/
移动端
在手机上打开
小程序
打开微信小程序
客服
扫码或
点此
咨询