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