This book constitutes the refereed proceedings of the International Co nference on Automated Reasoning with Analytic Tableaux and Related Met hods, TABLEAUX 2000, held in St Andrews, Scotland, UK, in July 2000. T he 23 revised full papers and 2 system descriptions presented were car efully reviewed and selected from 42 submissions. Also included are 3 invited lectures and 6 nonclassical system comparisons. All current is sues surrounding the mechanization of reasoning with tableaux and simi lar methods are addressed. It ranges from theoretical foundations to i mplementation, systems development, and applications, as well as cover ing a broad variety of logical calculi.