数学机械化高级研究班'2000 

在国家重点基础规划项目“数学机械化与自动推理平台”和中科院“知识创新工程”的共同支持下，数学机械化研究中心于 2000年7月18日至7月28日举办第二届“数学机械化高级研讨班”:计算微分代数暑期高级研讨班”。研讨班特邀纽约市立学院William Sit教授做了四次系列报告， 系统地介绍了Kolchin学派在计算微分代数方面的工作， 和在该方面的其它前沿课题。吴文俊等其他国内学者也作了学术报告。李子明作了关于吴方法的系列讲座。这些讲座和学术报告不仅介绍了当前的学术动态，研究工作进展，而且提出了一系列值得深入研究的问题，为微分代数的进一步研究打下了很好的基础。