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-second WoLLIC will be held at the School of Informatics and Computing, Indiana University, Bloomington, IN, July 20-23, 2015.
The proceedings of WoLLIC 2015, 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 as a special post-conference WoLLIC 2015 issue of a scientific journal (to be confirmed).
More information on the overall structure of the meeting can be found at the main WoLLIC page.
The Conference on Computing Natural Reasoning overlaps with WoLLIC both in subject matter and in time.