Please note that this newsitem has been archived, and may contain outdated information or links.
20-23 August 2013, 20th Workshop on Logic, Language, Information and Computation (WoLLIC 2013), Darmstadt, Germany
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. The twentieth WoLLIC will be held at the Technische Universität Darmstadt, Germany, from August 20th to 23rd, 2013.
WoLLIC is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL).
For more information, see http://wollic.org/wollic2013/.
Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. A title and single-paragraph abstract should be submitted by March 25th, and the full paper by March 29th (firm date).
Please note that this newsitem has been archived, and may contain outdated information or links.