[3/3] 经人指点，今天我才第一次注意到《中国计算机学会推荐国际学术会议和期刊目录》。原来我博士期间的论文有1篇A类，2篇B类（其中一个其实是B类会议的下属workshop）和3篇C类，就算是不多不少，很平庸的科研工作者吧。而我最后发表的，同时也是最看重的成果（Böhm 树的那篇）所在的交互式定理证明（ITP）会议，1991年至今的该领域顶会，竟然根本没被收录，可见国内的相关研究者寥寥无几。不过幸好 ITP 会议的上级刊物（J. Auto. Reasoning）被列为B刊，每年ITP会议的优秀论文会被邀请撰写更长的期刊版本。