IJCAR 2001 - International Joint Conference on Automated Reasoning