2003 Dagstuhl Seminar on Deduction

位于达格斯图尔的国际计算机科学会议和研究中心定期组织科学研讨会，称为达格斯图尔研讨会。这些不是固定的系列研讨会，而是单独安排的。每个研讨会都有几位科学家负责，他们必须向中心科学局申请举办研讨会。只有具有很高科学价值的建议才会被接受。2003年Dagstuhl演绎研讨会是由新墨西哥大学的Deepak Kapur、Andreas Podelski、Max-Planck-Institut Fuer Informatik和英国曼彻斯特大学的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.