Calculemus Autmun School 2002 - Computer Algebra and Deduction Systems. Pisa, Italy; 23 September -- 4 October 2002. www.eurice.de/calculemus/autumn-school
Conferences and Workshops - A calendar maintained by SymbolicNet. horse.mcs.kent.edu/SN/conferences/conf.html