Related Conferences

ISSAC 2006 - International Symposium on Symbolic and

Algebraic Computation

http://issac2006.dima.unige.it/ 
 
AISC 2006 - 8th International Conference on 
ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION
http://www.cc4cm.org/aisc2006/