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