This volume gathers the research papers presented at the International Conference
on Automated Reasoning with Analytic Tableaux and Related Methods
(TABLEAUX 2007) that took place July 3–6, 2007 in Aix en Provence, France.
This conference was the 16th in a series of international meetings held since 1992
(the list is on page VIII).
The Program Committee of TABLEAUX 2007 received 43 submissions, 16
of which were accepted for publication in the present proceedings, while 8 were
accepted as position papers.
In addition to the contributed papers, the program included three excellent
keynote talks by Piero Bonatti of Universit`a di Napoli, by John-Jules Meyer of
Utrecht University, and by Cesare Tinelli of the University of Iowa. Finally, the
program was completed by three tutorials of deep interest: “The Tableau Work
Bench: Theory and Practice” (Pietro Abate and Rajeev Gor´e), “Tableau Methods
for Interval Temporal Logics” (Valentin Goranko and Angelo Montanari),
and “Semistructured Databases and Modal Logic” (Serenella Cerrito).