2014年全國理論計算機科學學術年會征文通知

由中國計算機學會主辦、山東大學計算機科學與技術學院承辦的“2014年全國理論計算機科學學術年會”將于2014年10月16至17日在山東省濟南市召開。有關征文要求通知如下：

為進一步提高學術水平，本次年會將采取以下措施：①除征集尚未在其他刊物或學術會議上正式發表過的論文外，還將征文擴大到2013、2014年中國大陸學者在國際一流學術刊物上已發表的論文(注明出處)，對后者經審稿錄用后，邀請作者出席年會并作報告(但論文不再收入論文集)；②除特邀報告外，還將安排專委委員作大會報告，并組織專題討論會。

征文范圍

(1)程序理論(程序邏輯、程序正確性驗證、形式化開發方法、高可信軟件等)

(2)計算理論(算法設計與分析、復雜性理論、可計算性理論、量子計算、生物信息學、社會網絡等)

(3)語言理論(形式語言理論、自動機理論、形式語義學、計算語言學等)

(4)人工智能(知識工程、機器學習、模式識別、機器人、數據挖掘、進化計算、腦機接口等)

(5)邏輯基礎(數理邏輯、多值邏輯、模糊邏輯、模態邏輯、直覺主義邏輯、組合邏輯等)

(6)數據理論(演繹數據庫、關系數據庫、面向對象數據庫、分布式數據庫、空間數據庫、大數據理論等)

(7)計算機數學(符號計算、數學定理證明、計算幾何、組合數學等)

(8)并行算法(分布式并行算法、大規模并行算法、網格算法、多核并行算法、GPU上并行算法等)

本次會議可接受中文或英文論文。會議錄用的英文論文將在《Journal of Computational Information Systems》正刊上發表，錄用的中文論文將在《計算機科學》、《計算機工程與科學》和《計算機與數字工程》正刊上發表。會議將推薦優秀論文(第一作者為學生)到《計算機研究與發展》的正刊上發表。

論文稿件的排版說明請參見會議網站：http://nctcs2014.sdu.edu.cn。

論文投稿截止日期：2014年5月20日；論文錄用通知日期：2014年7月1日。

論文投稿需網上提交，投稿網站為https://www.easychair.org/conferences/?conf=nctcs2014，請按照要求提交電子版WORD文件或者PDF文件。大會提供的Email信箱為：nctcs2014@126.com。

會議動態和重要信息請關注會議網站：http://nctcs2014.sdu.edu.cn。

聯系人和聯系電話及Email信箱：

朱大銘：nctcs2014@126.com；

聯系電話：0531-88390006；

聯系地址：山東省濟南市舜華路1500號，山東大學計算機科學與技術學院，郵編：250101。