WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. It is sponsored by: the Association for Symbolic Logic (ASL), the ACM Special Interest Group on Logic and Computation (SigLog), the Interest Group in Pure and Applied Logics (IGPL), the Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), and the Sociedade Brasileira de Computacao (SBC), and the Sociedade Brasileira de Logica (SBL). WoLLIC 2017 is colocated with the 15th meeting on the Mathematics of Language (MoL2017).