STRATEGIES'02 is cancelled
The CADE-sponsored workshop on Strategies in Automatic Deduction, scheduled for July 26 2002, has been
cancelled
due to lack of submissions.