2001 Dagstuhl Seminar on Deduction to be held March 4-9, 2001 at the Dagstuhl Seminar Center in Wadern, Germany

2001 Dagstuhl 演绎研讨会将于 2001 年 3 月 4 日至 9 日在德国瓦登的 Dagstuhl 研讨会中心举行

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

An international seminar on deduction - organized by Prof.Ulrich Furbach (University of Koblenz, Germany), Prof.Harald Ganzinger (MPI Saarbrucken, Germany), Prof. RyuzoHasegawa (Kyushu University, Japan), and Prof. Deepak Kapur(University of New Mexico, Albuquerque, NM, USA)- will beheld March 4-9, 2001 at the Dagstuhl Seminar Center inWadern, Germany. About 75 automated deduction researchersfrom around the world have been invited to participate. Thisaward pays for travel funds for American invitees to attendthe seminar.

由Ulrich Furbach教授（科布伦茨大学，德国）、Harald Ganzinger教授（MPI Saarbrucken，德国）、RyuzoHasegawa教授（日本九州大学）和Deepak Kapur教授（新墨西哥州大学，阿尔伯克基，NM，美国）组织的演绎法国际研讨会将于2001年3月4日至9日在德国Wadern的Dagstuhl研讨中心举行。来自世界各地的大约75名自动演绎研究人员被邀请参加。该奖项为受邀参加研讨会的美国人支付旅费。