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-sixth WoLLIC is hosted by the Department of Philosophy and Religious Studies and the Department of Language, Literature and Communication of the Faculty of Humanities at Utrecht University, The Netherlands, from July 2nd to 5th, 2019.
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)