2012年全國理論計算機科學學術年會

（2）計算理論（算法設計與分析、複雜性理論、可計算性理論、量子計算、生物計算、社會計算等） （3）語言理論（形式語言理論、自動機理論、形式語義學、計算語言學等） （7）計算機數學（符號計算、數學定理證明、計算幾何、組合數學等）

由中國計算機學會主辦、海南大學信息與科學技術學院承辦的“2012年全國理論計算機科學學術年會”將於2012年8月17日至19日在海南省海口市召開。有關徵文要求通知如下：
1、為進一步提高學術水平，本次年會將採取以下措施： ①除徵集尚未在其他刊物或學術會議上正式發表過的論文外，還將徵文擴大到2011、2012年中國大陸學者在國際一流學術刊物上已發表的論文（註明出處），對後者經審稿錄用後，邀請作者出席年會並作報告（但論文不再收入論文集）； ②除特邀報告外，還將安排專委委員作大會報告，並組織專題討論會。
2、徵文範圍 （1）程序理論（程式邏輯、程式正確性驗證、形式化開發方法、高可信軟體等） （2）計算理論（算法設計與分析、複雜性理論、可計算性理論、量子計算、生物計算、社會計算等） （3）語言理論（形式語言理論、自動機理論、形式語義學、計算語言學等） （4）人工智慧（知識工程、機器學習、模式識別、機器人、數據挖掘、進化計算、腦機接口等） （5）邏輯基礎（數理邏輯、多值邏輯、模糊邏輯、模態邏輯、直覺主義邏輯、組合邏輯等） （6）數據理論（演繹資料庫、關係資料庫、面向對象資料庫、並行分布資料庫、空間資料庫等） （7）計算機數學（符號計算、數學定理證明、計算幾何、組合數學等） （8）並行算法（分散式並行算法、大規模並行算法、格線算法、多核並行算法、GPU上並行算法等）
3、本次會議中文、英文論文均可接受。會議錄用的英文論文將在《Journal of Computational Information Systems》正刊上發表，錄用的中文論文將在《計算機科學》、《計算機工程與科學》和《計算機與數字工程》正刊上發表。會議將推薦優秀論文（第一作者為學生）到《計算機研究與發展》的正刊上發表。