Workshop on mathematical/formal methods in information retrieval (MF/IR 2000)