Thisvolumecontainsthecollectedcontributionsofthreeconferences, AISC2008, Calculemus 2008, and MKM 2008. AISC 2008 was the 9th International C- ference on Arti?cial Intelligence and Symbolic Computation that is concerned with the use of AI techniques within symbolic computation as well as the - plication of symbolic computation to AI problem solving. Calculemus 2008 was the 15th Symposium on the Integration of Symbolic Computation and Mec- nized Reasoning dedicated to the combination of computer algebra systems and automated deduction systems. MKM 2008 was the 7th International Conference on...