-- WoLLIC 2007 -- 14th Workshop on Logic, Language, Information and Computation --