Conferences
| Calculemus | 16th Symposium on the Integration of Symbolic and Mechanized Reasoning |
06 July - 07 July |
| MKM | 9th International Conference on Mathematical Knowledge Management |
10 July - 12 July |
Conferences on Intelligent Computer Mathematics
CICM 2009
Grand Bend, Ontario (CANADA), 5-12 July 2009