Title: IJCAR 2001 - International Joint Conference on Automated Reasoning
Description: The fusion of three major events discussing this topic. Includes information on workshop discussions, invited speakers and accepted tutorials. Siena, Italy; 18--23 June 2001.