Held 15-18 November 2004, King’s College London. Organizers: M. Baaz and D. Gabbay. Here is a copy of the program.