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.
The conference is organized at the University Residential Center of Bertinoro, situated in Bertinoro, a small village on a scenic hill with a wonderful panorama, in between Forlì and Cesena (about 50 miles south-east of Bologna, 15 miles to the Adriatic sea). Bertinoro is close to many splendid locations (such as the Republic of San Marino and the nearby Gradara, San Leo, and Urbino) and can also be a base for visiting some of the better-known Italian locations such as Bologna, Ravenna, and Firenze.
Bertinoro from Bologna airport:
Bertinoro from Forlì airport:
How to Reach Bertinoro (a guide from the web site of the University Residential Center).
CICM 2011 gratefully acknowledges the support of the Department of Computer Science of the University of Bologna