FTP'00 International Workshop on First order Theorem Proving