2014年全國理論計算機科學(xué)學(xué)術(shù)年會征 文 通 知

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

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

二、征文范圍

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

（2）計算理論（算法設(shè)計與分析、復(fù)雜性理論、可計算性理論、量子計算、生物信息學(xué)、社會網(wǎng)絡(luò)等）

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

（4）人工智能（知識工程、機器學(xué)習(xí)、模式識別、機器人、數(shù)據(jù)挖掘、進化計算、腦機接口等）

（5）邏輯基礎(chǔ)（數(shù)理邏輯、多值邏輯、模糊邏輯、模態(tài)邏輯、直覺主義邏輯、組合邏輯等）

（6）數(shù)據(jù)理論（演繹數(shù)據(jù)庫、關(guān)系數(shù)據(jù)庫、面向?qū)ο髷?shù)據(jù)庫、分布式數(shù)據(jù)庫、空間數(shù)據(jù)庫、大數(shù)據(jù)理論等）

（7）計算機數(shù)學(xué)（符號計算、數(shù)學(xué)定理證明、計算幾何、組合數(shù)學(xué)等）

（8）并行算法（分布式并行算法、大規(guī)模并行算法、網(wǎng)格算法、多核并行算法、GPU上并行算法等）

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

四、論文稿件的排版說明請參見會議網(wǎng)站：http：／／nctcs2014.sdu.edu.cn。

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

六、論文投稿需網(wǎng)上提交，投稿網(wǎng)站為https：／／www.easychair.org／conferences／？conf＝nctcs2014，請按照要求提交電子版WORD文件或者PDF文件。大會提供的Email信箱為：nctcs2014＠126.com。

七、會議動態(tài)和重要信息請關(guān)注會議網(wǎng)站：http：／／nctcs2014.sdu.edu.cn。

八、聯(lián)系人和聯(lián)系電話及Email信箱：

朱大銘：nctcs2014＠126.com； 聯(lián)系電話：0531－88390006；

聯(lián)系地址：山東省濟南市舜華路1500號，山東大學(xué)計算機科學(xué)與技術(shù)學(xué)院，郵編：250101。