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名研究人员和学生参加了研讨会。