Conferences
| MKM | 6th International Conference on Mathematical Knowledge Management |
28 July - 30 July |
| Calculemus | 15th Symposium on the Integration of Symbolic and Mechanized Reasoning |
30 July - 1 August |
| AISC | 9th International Conference on Artificial Intelligence and Symbolic Computation |
31 July - 1 August |