The 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Oslo 2009

The TABLEAUX conference is the natural annual meeting point for researchers with an interest in deduction methods based on systems of tableaux. Research in this area spans a wide range of themes in computer science, mathematics, and philosophy, including both theoretical works, use of logical methods in practical applications and efficient implementation of complex algorithms. The interdisciplinary nature of the subject makes the TABLEAUX conference an important and vital scientific arena attracting resea rchers with a wide variety of backgrounds. The conference series has a strong standing in the scientific community. The applicants will organize the 2009 issue of the Tableaux conference in Oslo, including both local organization and chairing the program committee. As in previous years, we will gather a strong international program committee. PC members will typically come from at least 10 different countries, including many European countries, the USA, and Australia. We will stick to the high level o f reviewing, leading to an acceptance rate of about one third. To further improve the quality of reviews, we will add an extra rebuttal phase after reviewing, in which authors will have the opportunity to provide comments, which will be taken into accoun t when making the final decisions on acceptance. The proceedings of Tableaux 2009 will be published in the renowned Springer LNCS series, like the proceedings of previous issues of the conference. We are also considering to publish the most mature contr ibutions in a post-conference special issue of a relevant journal.