Travel Support for the l997 Dagstuhl Seminar on Deduction, February 24-28, l997, Wadern, Germany

1997 年 Dagstuhl 演绎研讨会旅行支持，1997 年 2 月 24 日至 28 日，德国瓦德恩

• 批准号: 9705408
• 负责人: Mark Stickel
• 金额: $ 0.83万
• 依托单位: SRI International
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1997
• 资助国家: 美国
• 起止时间: 1997-02-01 至 1997-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9705408&HistoricalAwards=false
• 关键词: Travel; Support; l997; Dagstuhl; Seminar

An international seminar on automated deduction, organized by Prof. Wolfgang Bibel(Technische Hochschule Darmstadt, Germany), Prof. Ulrich Furbach (University of Kopblenz, Germany), and Dr. Mark Stickel (SRI International, Menlo Park, CA, USA), will be held 24-28 February 1997 at the Dagstuhl Seminar Center in Waden, Germany. About 70 automated deduction researchers from around the world have been invited to participate. This grant supports the travel of American invitees to the seminar. ***

由Wolfgang Bibel教授（德国达姆施塔特理工学院）、Ulrich Furbach教授（德国科普伦茨大学）和Mark Stickel博士（SRI国际，美国加利福尼亚州门洛帕克）组织的自动演算国际研讨会将于1997年2月24日至28日在德国瓦登达格施塔特研讨会中心举行。来自世界各地的大约70名自动推理研究人员被邀请参加。这笔赠款用于支付应邀参加研讨会的美国人的旅费。＊＊＊