2003 Dagstuhl Seminar on Deduction

位于达格斯图尔的计算机科学国际会议和研究中心定期组织科学研讨会，称为达格斯图尔研讨会。这些研讨会不是固定的系列，而是单独安排的。每次研讨会由几位科学家负责，他们必须向中心的科学理事会申请举办研讨会。只有具有高度科学价值的建议才被接受。2003年Dagstuhl演绎法研讨会由新墨西哥州大学的Deepak Kapur、英国曼彻斯特大学的Andreas Podelski和Andrei Voronkov领导的一个国际研究小组提出，将于2003年4月21日至25日举行。15名研究人员和学生参加了讲习班。

ABSTRACTThe International Conference and Research Center for Computer Science in Dagstuhl regularly organizes scientific workshops, called Dagstuhl Seminars. These are not a fixed series of workshops, rather are individually arranged. A few scientists are responsible for each seminar, and they must apply to the Scientific Directorate of the Center for a seminar to be held. Only proposals with high scientific merit are accepted. The 2003 Dagstuhl Seminar on Deduction was proposed by an international team of researchers led by Deepak Kapur, University of New Mexico, Andreas Podelski, Max-Planck-Institut fuer Informatik, and Andrei Voronkov, University of Manchester (UK), and is being held April 21-25, 2003. Fifteen researchers and students are participating in the workshop.