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. ***

Project Start
Project End
Budget Start
1997-02-01
Budget End
1997-07-31
Support Year
Fiscal Year
1997
Total Cost
$8,324
Indirect Cost
Name
Sri International
Department
Type
DUNS #
City
Menlo Park
State
CA
Country
United States
Zip Code
94025