News

• The conference program is available.
• There have been sufficiently many participants interested in charter buses from the Toronto Airport. Those who expressed interest, please reply to the E-mail you will receive about your bus.
• The Annual Pow Wow of the Kettle and Stony Point First Nation will be held July 11 and 12.
  The conference is organizing to visit the grand entry ceremony.
• The W3C MMI Workshop is cancelled.
• Registration is open. See the registration page.
• See the accommodation page for how to make hotel reservations.
• The preliminary schedule is available.
• Registration information is available.
• The conference will arrange a charter bus (on a cost-recovery basis) from Toronto Pearson Airport (YYZ) to Grand Bend.
• Registration information to be posted soon.

Objectives

As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, automated deduction, mathematical publishing and novel user interfaces individually have long and successful histories, we are now seeing increasing opportunities for synergy among these areas.

The Conferences on Intelligent Computer Mathematics (CICM) form a collection of inter-related meetings, held together, allowing researchers and practitioners to share recent results and identify the next challenges.

Plenary Speakers

• Computational Logic and Continuous Mathematics, Pure and Applied
  Rob Arthan (Lemma 1 & Queen Mary, University of London, UK)
• Math-Literate Computers
  Dorothea Blostein (Queen's University, Canada)
• Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning
  Jacques Calmet (Universitaet Karlsruhe, Germany)
• CAMAL 40 Years On -- Is Small Still Beautiful?
  John Fitch (University of Bath, UK)
• Software Engineering for Mathematics
  Georges Gonthier (Microsoft Research Cambridge, UK)
• Some Traditional Mathematical Knowledge Management
  Patrick Ion (Math Reviews, USA)
• Math Handwriting Recognition in Windows 7 and Its Benefits
  Marko Panic (Microsoft Development, Serbia)
• Assembling the Digital Mathematics Library
  David Ruddy (Cornell University, USA)

Events

CICM 2009 includes two international conferences:

• 16th Symposium on the Integration of Symbolic and Mechanized Reasoning - Calculemus, 6 - 7 July
• 8th International Conference on Mathematical Knowledge Management - MKM, 10 - 12 July

• 2nd Workshop on Compact Computer Algebra - CCA, 10 July
• 2nd Workshop on Towards a Digital Mathematics Library - DML, 8 - 9 July
• 4th Workshop on Mathematical User Interfaces - MathUI, 6 July
• 22nd Workshop on OpenMath - OpenMath, 9 July
• 3rd Workshop on Pen-Based Mathematical Computation - PenMath, 8 - 9 July
• W3C Math Working Group Meeting, 7 July

Venue

CICM will be held at the Oakwood Inn Resort, located on the sandy shore of Lake Huron at Grand Bend, Ontario (Canada).

Separating Canada from the USA, Lake Huron is the second largest of the five Great Lakes. Although it is traditionally considered a separate entity from Lake Michigan, Lake Michigan and Lake Huron are actually one lake, sometimes called Lake Michigan-Huron, which is the largest body of fresh water in the world by surface area. Lake Huron contains 30,000 islands, most of which are in the huge Georgian Bay on the northeast side of the lake. Even before the arrival of the French and British, Lake Huron was an important waterway. Since 1959 it has been a segment of the St. Lawrence Seaway that enables ocean-going vessels to reach the port of Duluth, Minnesota, which is 3,700 km away from the Atlantic Ocean. Like all the Great Lakes, Lake Huron is stunningly beautiful when the weather is good but full of fury and danger when the weather is bad. Over 1000 shipwrecks lie at the bottom of Lake Huron. Known for its beaches, sand dunes, and sunsets, the east coast of Lake Huron, on which Grand Bend is situated, is a gigantic vacation land a few hours away from the major cities of southern Ontario.