1 / 3
2 / 3
3 / 3

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).

Student Grants:

ASL sponsorship of WoLLIC 2018 will permit ASL student members to apply for a modest travel grant (deadline: May 1st, 2018). See for details.

Important Dates

Jul 10 : Early registration deadline


Apr 25 : Final version deadline (firm)

Apr 18 : Author notification

Mar 25 : Full paper deadline

Mar 18 :
Title and abstract deadline


- Call for papers

- Special Screening

- Invited speakers and talks

- Tutorials

- Accepted papers

- Venue

- Accomodation

- About Bogotá, Colombia

WoLLIC is colocated with:

10th International School on Rewriting