Introduction
Formal tools coming from logic and category theory are important in both natural language semantics and in computational semantics. Moreover, work on these tools borrows heavily from all areas of theoretical computer science. In the other direction, applications having to do with natural language has inspired developments on the formal side.
Call for paper
Important date
Submission Topics
The workshop invites papers on both topics. Specific topics includes, but are not limited to:
-
logic for semantics of lexical items, sentences, discourse and dialog
-
continuations in natural language semantics
-
formal tools in textual inference, such as logics for natural language inference
-
applications of category theory in semantics
-
linear logic in semantics
-
formal approaches to unifying data-driven and declarative approaches to semantics
All Comments
Important Date
-
Jul 10
2016
Conference Date
-
May 10 2016
Draft paper submission deadline
-
Jul 10 2016
Registration deadline
Contact Information
- Lucas Champollion
- ch******@nyu.edu
Submit Comment