The harbor. The conference LPAR '92 (Logic Programming and Automated Reasoning) was held on a boat. It's the second one in the photgraph.