2008年 陕西西安 陕西师范大学

  由中国计算机学会理论计算机科学专业委员会主办，陕西师范大学计算机科学学院承办的2008年全国理论计算机科学学术年会2008年9月19日至21日在陕西省西安市召开。

  本次年会旨在交流近年来我国理论计算机科学的最新研究成果，研究国内外理论计算机科学及其应用的发展趋势，进一步推动我国理论计算机科学研究的发展。

  本次年会得到了全国高校及科研院所的大力支持，共收到论文270余篇。本次会议的审稿采取了网络评审的方式，首先由专委委员对论文进行通讯评议，再由程序委员会最终决定录用论文128篇，其中的10篇推荐到《计算机研究与发展》正刊，83篇刊登在《计算机工程与科学》的正刊上，35篇刊登在《计算机与数字工程》的正刊上。

  开幕式由组织委员会主任陕西师范大学李永明教授主持。大会共同主席殷建平教授致开幕辞，大会共同主席陕西师范大学副校长萧正洪教授致欢迎词。开幕式后，由兰州大学李廉教授和上海交通大学的傅育熙教授主持，中国科学院的周巢尘院士和香港大学的钱玉麟教授分别作了题为“Run-time Correctness vs Static Verification”和“Code Assignment Problem in Cellular Network Communication”的特邀学术报告。会议期间来自祖国各地的百余名代表分成四个小组进行了分组报告，代表们自始至终认真参与，达到了广泛开展学术交流的预期目的。闭幕式由组织委员会主任陕西师范大学李永明教授主持，殷建平教授致闭幕词。本次会议评选了10篇论文作为优秀论文进行了奖励。关于明年会议的承办单位最终确定2009年全国理论计算机科学学术年会由哈尔滨师范大学承办。

  本次大会的承办单位陕西师范大学、《计算机工程与科学》和《计算机与数字工程》杂志社为本次会议的成功召开做了大量艰辛的工作。与会代表对此表示深深的谢意！