Workshop on Logical Frameworks and Meta-languages (LFM'00)