*Homepage:* http://www.ldl.jaist.ac.jp/WRLA2000/ Workshop on Rewriting Logic and its Applications