Call for paper 〔OPEN〕

My submissions

Registration 〔OPEN〕

My tickets

〔CLOSED〕
Introduction

中国计算机学会理论计算机科学专业委员会成立于1983年,旨在促进计算机科学理论的普及和推广,促进全国范围内的学术交流。先后在哈尔滨、呼和浩特、长沙、贵阳、重庆、广州、青岛、厦门、苏州、兰州、南宁、舟山、郑州、昆明、上海、西安、南昌、金华、福州、武汉、海口等地多次主办全国性的学术会议,并出版了多本论文集。尽管这些年理论工作不象20年前那么有吸引力,但是理论专委会每年一次的学术年会无论就到会人数还是就应征论文数来说,大有一年多于一年的趋势,并且理论年会办到哪里,哪里就兴旺发达,导致2001年曾经出现6个单位争办理论年会的可喜局面。此外,理论专委会还负责完成了我国第一部《计算机科学技术百科全书》计算机科学理论分支的编撰工作,并协助参与了全国自然科学名词审定委员会组织的《计算机科学技术名词》的审定工作。经过20年的建设与发展,目前理论专委会已成为拥有8个专业学组和3个工作组织的学术性团体。

Call for paper

Submission Topics

(1)程序理论(程序逻辑、程序正确性验证、形式化开发方法、高可信软件等) (2)计算理论(算法设计与分析、复杂性理论、可计算性理论、量子计算、生物计算、社会计算等) (3)语言理论(形式语言理论、自动机理论、形式语义学、计算语言学等) (4)人工智能(知识工程、机器学习、模式识别、机器人、数据挖掘、进化计算、脑机接口等) (5)逻辑基础(数理逻辑、多值逻辑、模糊逻辑、模态逻辑、直觉主义逻辑、组合逻辑等) (6)数据理论(演绎数据库、关系数据库、面向对象数据
Submit Comment
Verify Code Change Another
All Comments
Important Date
  • Conference Date

    Oct 11

    2013

    to

    Oct 13

    2013

  • Oct 13 2013

    Registration deadline

Sponsored By
南开大学
Organized By
天津工业大学计算机科学与软件学院
Supported By
南开大学
Contact Information