General Information
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 twenty-fifth WoLLIC will be held at the Departamento de Matemáticas of the Universidad de los Andes, Bogotá, Colombia, from July 24th to 27th, 2018. It will be collocated with 10th International School on Rewriting, which will take place at Pontificia Universidad Javeriana, Cali, Colombia.
Proceedings: ( Free access for a limited time by clicking here !! )
The proceedings of WoLLIC 2018, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published (after a new round of reviewing) as a special post-conference WoLLIC 2018 issue of a scientific journal (to be confirmed).
Scientific Sponsorship:
- Association for Symbolic Logic (ASL)
- Interest Group in Pure and Applied Logics (IGPL)
- The Association for Logic, Language and Information (FoLLI),
- European Association for Theoretical Computer Science (EATCS)
- European Association for Computer Science Logic (EACSL)
- ACM Special Interest Group on Logic and Computation (ACM-SIGLOG) (TBC)
- Sociedade Brasileira de Computação (SBC)
- Sociedade Brasileira de Lógica (SBL).
