时刻表
时区：Asia/Beijing
重要日期
-
会议日期
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届国际交互式定理证明会议
