返回首页
2016年全国理论计算机科学学术年会在贵阳召开
由中国计算机学会（CCF）主办、CCF理论计算机科学专业委员会和贵州大学计算机科学与技术学院承办的“2016年全国理论计算机科学学术年会”(NCTCS2016，会议编号CCF-TC-16-08N)于2016年8月19至21日在贵州大学召开，来自全国各地的154名代表参加了会议。
大会开幕式由贵州大学教授许道云主持，大会共同主席、CCF理论计算机科学专委会主任、合肥工业大学教授李廉致开幕辞，贵州大学副校长李军旗致欢迎词。
本次会议设置了特邀报告环节，澳大利亚悉尼科技大学教授应明生作了题为“Toward automatic verification of quantum programs”的特邀报告，复旦大学教授朱洪作了题为《188体育投注：在离散数学教材中取消罗素悖论内容的建议》的特邀报告，西南大学教授刘志明作了题为《188体育投注：新型系统中的软件建模理论初步探讨》的特邀报告，李廉作了题为《大数据与PAC算法》的特邀报告，CCF理论计算机科学专委会副主任、江西师范大学教授薛锦云作了题为《便捷模型驱动软件开发平台及其在大数据处理软件建模中的应用》的特邀报告。
之后，与会代表们分成10个小组进行了分组报告会，代表们自始至终认真参与，达到了广泛开展学术交流的预期目的。本次会议共评选出5篇优秀论文，在会议闭幕式上对作者进行了颁奖。
本次年会得到了全国有关高等院校及科研院所的大力支持，共收到论文175篇。会议征文内容涉及算法与计算理论、程序理论及软件、语言、逻辑与计算机数学、人工智能等诸多方面。经本次大会程序委员会委员认真评议，录用论文65篇，其中1篇为英文交流论文。20篇英文论文将由EI源国际期刊《International Journal of High Performance Computing and networking》、《International Journal of Embedded Systems》、《International Journal of Computational Science and Engineering》正刊发表，44篇中文论文将由《计算机科学与探索》、《计算机科学》、《计算机工程与科学》和《计算机与数字工程》正刊发表。这些论文基本反映了近年来我国理论计算机科学的最新研究成果。
全国理论计算机科学学术年会旨在交流近年来我国理论计算机科学的最新研究成果，研究国内外理论计算机科学及其应用的发展趋势，进一步推动我国理论计算机科学研究的发展。
大会合影
京公网安备 11010802032778号
所有评论仅代表网友意见