Valparaiso, Chile

21st Workshop on
Logic, Language, Information and Computation

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 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), the Sociedade Brasileira de Computao (SBC), and the Sociedade Brasileira de Lógica (SBL).

Venue

The twenty-first WoLLIC will be held at the Universidad Técnica Federico Santa María, Valparaíso, Chile, from September 1st to 4th, 2014.

7th International School on Rewriting

The 7th International School on Rewriting (ISR 2014) will be also held at the Universidad Técnica Federico Santa María, Valparaíso, Chile, from August 25th to 29th. More information here.