CADE-14

CADE-14 will be held from 13th to 17th July 1997, at the Sheraton Breakwater Hotel, in Townsville, North Queensland, Australia (i.e., in the sunshine, near the Great Barrier Reef). The conference will be hosted by the Department of Computer Science at James Cook University of North Queensland.

Conference Program

• Message from the Program Chair
• Overview
• Workshops and Tutorials
• Papers and System Descriptions
• Social Events (including the conference excursion to the Great Barrier Reef)
• CADE-14 ATP System Competition (CASC-14)
• CADE-14 Induction System Competition (CISC-14)

Registration Information

• Accomodation Information
• Venue and Accomodation Map

• Registration Form (also available as plain text and PostScript (.ps.gz))

• Things You Need to Know (about coming to Townsville)
• Tours of the Townsville region and North Queensland
• SCUBA Diving after the Conference
• Holidaying in Australia
  • Australian Tourist Commission
  • Australian Tourism Net

Conference Resources

• Sponsors
• Program Chair and Committee
• Local Arrangements Chair and Committee
• Proceedings Order Form
• Brochure (.ps.gz) extracted from the above WWW pages
• Related conferences being held about the same time (but not in the sunshine near the Great Barrier Reef)
• CADE Incorporated
• Archives
  • Calls for Papers, Workshops, and Tutorials
  • Instructions for preparing final versions of accepted papers

CADE-15 will be held in Lindau, Germany.