Please note that this newsitem has been archived, and may contain outdated information or links.
2 - 5 July 2019, 26th Workshop on Logic, Language, Information and Computation (WoLLIC 2019), Utrecht, The Netherlands
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.
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.
-Compositionality in formal and distributional models of natural language semantics, on July 6 2019.
Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors.
Please note that this newsitem has been archived, and may contain outdated information or links.