Call for paper 〔OPEN〕

My submissions

Registration 〔OPEN〕

My tickets

〔CLOSED〕
Introduction

由中国计算机学会主办、山东大学计算机科学与技术学院承办的“2014年全国理论计算机科学学术年会”将于2014年10月16至17日在山东省济南市召开。

Call for paper

Important date

2014-05-11
Draft paper submission deadline

Submission Topics

有关征文要求通知如下: 1、为进一步提高学术水平,本次年会将采取以下措施:①除征集尚未在其他刊物或学术会议上正式发表过的论文外,还将征文扩大到2013、2014年中国大陆学者在国际一流学术刊物上已发表的论文(注明出处),对后者经审稿录用后,邀请作者出席年会并作报告(但论文不再收入论文集);②除特邀报告外,还将安排专委委员作大会报告,并组织专题讨论会。 征文范围 (1)程序理论(程序逻辑、程序正确性验证、形式化开发方法、高可信软件等) (2)计算理论(算法设计与分析、复杂性理论、可计算性理论、量子计算、生
Submit Comment
Verify Code Change Another
All Comments
Important Date
  • Conference Date

    Oct 16

    2014

    to

    Oct 17

    2014

  • May 11 2014

    Draft paper submission deadline

  • Oct 17 2014

    Registration deadline

Sponsored By
中国计算机学会
Organized By
山东大学计算机科学与技术学院
Contact Information