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.
Just before and after the main WoLLIC 2019 event, Utrecht University will host two satellite workshops:
– Proof Theory in Logic on 1-2 July 2019. This workshop on the role of structural proof theory in the study of logics will consist of invited talks by researchers in that area. See ptil.sites.uu.nl. Those interested in the workshop on Proof Theory in Logic might also be interested in the 5th International Workshop on Structures and Deduction (affiliated with FSCD ’19) in Dortmund, Germany, June 29-30, 2019. See http://anupamdas.com/sd19/.
– Compositionality in formal and distributional models of natural language semantics, on July 6 2019. Click here.
The workshop programs are to be announced. Attendance of these satellite workshops is free, but registration is required.
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)
The Proof Society