23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016). (24th December 2016)