2003 Dagstuhl Seminar on Deduction

2003 Dagstuhl 演绎研讨会

• 批准号: 0314135
• 负责人: Deepak Kapur
• 金额: $ 1.65万
• 依托单位: University of New Mexico
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2003
• 资助国家: 美国
• 起止时间: 2003-04-01 至 2004-03-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0314135&HistoricalAwards=false
• 关键词: 2003; Dagstuhl; Seminar; Deduction

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.

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