1、理论计算机科学中的几个问题,应明生清华大学计算机科学与技术系智能技术与系统国家重点实验室,EATCS(欧洲理论计算机科学协会)：主办杂志： Theoretical Computer Science主办会议：ICALP (International Colloquim on Automata, Languages, and Programming),“Theoretical Computer Science is mathematical and abstract in spirit, but it derives its motivations from practical and every
2、day computation. Its aim is to understand the nature of computation and, as a consequence of this understanding, provide more efficient methodologies.”,Section A: Algorithms, automata, complexity and gamesSection B: Logic, semantics and theory of programmingSection C: Natural computing (evolutionary
3、 computing, neural network, molecular computring, quantum computing, ),美国的理论计算机科学：ACM STOC, IEEE FOCS算法与复杂性， 人工智能理论（如Logical AI）,欧洲的理论计算机科学：形式化方法， 形式语义学， ,我国在理论计算机科学（包括美式、欧式）方面有许多非常出色的工作如何进一步发展我国的理论计算机科学？,P. R. Halmos: “问题是数学的心脏”推而广之： “问题是一切（纯）科学的心脏”发展理论计算机科学，我们需要好的问题！,波兰（华沙、里沃夫）数学学派的启示：有自己特色的、根本性的问题有与国际上同类工作相同的深度,
