16th Workshop on Logic, Language, Information and Computation (WoLLIC 2009)