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.

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

Proceedings:


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

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


Mar 18, 2018:
Paper title and abstract deadline

Mar 25, 2018:
Full paper deadline

Apr 18, 2018:
Author notification

Apr 25, 2018:
Final version deadline (firm)

Conference

- Invited speakers

- Tutorials (TBA)

- Call for papers

- Accepted papers (TBA)

- Venue

About Bogotá, Colombia

- Location

- Accomodation

WoLLIC is colocated with



10th International School on Rewriting