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