\n

\n WoLLIC is an annual international forum on in ter-disciplinary research involving formal logic, computing and programming theory, and natural lang uage and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-third WoLLIC will be held at the Depar tment of Computer Science, BenemÃ©rita Universidad AutÃ³noma de Puebla, MÃ©xico, from August 16th to 19th, 2016.\n

\n\n It is sponsored by the Association for Symbolic Logic (A SL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language a nd Information (FoLLI), the European Association f or Theoretical Computer Science (EATCS), the Europ ean Association for Computer Science Logic (EACSL) , the Sociedade Brasileira de ComputaÃ§Ã£o (SBC), and the Sociedade Brasileira de LÃ³gica (SBL).\n

\n \n \nFor more informat ion, see\n http://www.wollic.cs.buap.mx /\n

\n\n

URL:/NewsandEvents/Archives/2016/newsitem/7054/16-
19-August-2016-23nd-Workshop-on-Logic-Language-Inf
ormation-and-Computation-WoLLIC-2016-Puebla-Mexico
END:VEVENT
END:VCALENDAR
Contr ibutions are invited on all pertinent\n subje cts, with particular interest in cross-disciplinar y\n topics. A title and single-paragraph abst ract should\n be submitted by Mar 14, 2016, a nd the full paper by Mar 21, 2016\n (firm dat e).\n

\n