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

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

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

二、征文范圍

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

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

（3）語言理論（形式語言理論、自動(dòng)機(jī)理論、形式語義學(xué)、計(jì)算語言學(xué)等）

（4）人工智能（知識(shí)工程、機(jī)器學(xué)習(xí)、模式識(shí)別、機(jī)器人、數(shù)據(jù)挖掘、進(jìn)化計(jì)算、腦機(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）計(jì)算機(jī)數(shù)學(xué)（符號(hào)計(jì)算、數(shù)學(xué)定理證明、計(jì)算幾何、組合數(shù)學(xué)等）

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

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

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

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

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

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

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

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

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