WoLLIC'2000 7th Workshop on Logic, Language, Information and Computation