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.
CICM 2009 includes two international conferences:
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.