The last twenty years have witnessed an accelerated development of pure and ap- plied logic, particularly in response to the urgent needs of computer science. Many traditional logicians have developed interest in applications and in parallel a new generation of researchers in logic has arisen from the computer science community. A new attitude to applied logic has evolved, where researchers tailor a logic for their own use in the same way they define a computer language, and where auto- mated deduction for the logic and its fragments is as important as the logic itself. In such a climate...