+ <url>http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001</url>
+ <description>First International Workshop on Mathematical Knowledge
+ Management. Special Issue for Annals of Mathematics and Artificial
+ Intelligence to appear in Fall 2002</description>