[mizar] Call for participation: CICM 2011

[Andrea Asperti <asperti@cs.unibo.it>]

Please apology for multiple copies

We are pleased to announce CICM 2011 will take place at the
Residential Centre of the University of Bologna located
in Bertinoro(Fo) Italy, from July 18-23 to July, 2011.
This continues the CICM series begun with the successful CICM
2008 in Birmingham, England, CICM 2009 in Grand Bend, Ontario,
Canada and Cicm 2010 in Paris, France.

Please visit

                http://cicm11.cs.unibo.it

The Conference on Intelligent Computer Mathematics is composed by 
several tracks:

- Mathematical Knowledge Managament track (taking in heritage the MKM 
conference tradition)

- Calculemus track (taking in heritage the Calculemus conference tradition)
- System & Project track

Associated Workshops are:

- 4rd Workshop, Towards a Digital Mathematics Library (DML 2011)
- 24rd Workshop on OpenMath (OpenMath)

Social Events

- Conference reception on Sunday 17
- Excursion at Urbino & Social Dinner on Thursday 21

Looking forward to see you in Bertinoro.

-- Andrea Asperti