刘华文,浙江师范大学组委会成员。 浙江师范大学副教授。参加了2015全国理论计算机科学学术年会并参与了演讲。会议内容:目前,全国理论计算机科学学术年会先后在长沙、贵阳、重庆、广州、青岛、厦门、苏州、兰州、南宁、舟山、郑州、昆明、上海、西安、南昌、金华、福州、武汉、秦皇岛、长春、哈尔滨、呼和浩特、海口、天津、济南等地成功举办,并出版了多本论文集,为学术和工业界的广大研究人员提供一个交流、合作平台,使得研究人员之间分享理论计算机科学和人工智能等领域的创新思想、研究成果及最新进展。中国计算机学会理论计算机科学专业委员会成立于1983年,旨在促进计算机科学理论的普及和推广,促进全国范围内的学术交流。经过多年的建设与发展,目前理论专委会已成为拥有8个专业学组和3个工作组织的学术性团体。