Submission: April 11, 2001 (extended deadline) Notification: April 30, 2001 Final versions: May 20, 2001 Workshop: June 18 or 19, 2001 IJCAR 2001: June 18-23, 2001
Maria Paola Bonacina | U. Iowa (USA) |
Bernhard Gramlich | TU Wien (Austria) |
Alessandro Armando | U. Genova (Italy) |
Maria Paola Bonacina (co-chair) | U. Iowa (USA) |
Gilles Dowek | INRIA (France) & ICASE/NASA-Langley (USA) |
Ruben Gamboa | AnythingOvernight.com, Inc., Texas (USA) |
Bernhard Gramlich (co-chair) | TU Wien (Austria) |
Bernd Löchner | U. Kaiserslautern (Germany) |
Christophe Ringeissen | LORIA-INRIA Nancy (France) |
STRATEGIES 2001 website: http://www.logic.at/strategies01/ IJCAR 2001 website: http://www.dii.unisi.it/~ijcar/ IJCAR 2001 workshops: http://www.dii.unisi.it/~ijcar/ijcar_workshops.html Strategies in Automated Deduction general website: http://www.logic.at/strategies/