\n

Formal to ols coming from logic and category theory are impo rtant in both natural language semantics and in co mputational semantics. Moreover, work on these too ls borrows heavily from all areas of theoretical c omputer science. In the other direction, applicati ons having to do with natural language has inspire d developments on the formal side. The workshop,&n bsp;affiliated with Federated Logic Conference (FL oC) 2018, invites papers on both topics. Invited s peaker: Ann Copestake, University of Cambridge.

\n\n

URL:http://www.indiana.edu/~iulg/nlcs.html
END:VEVENT
END:VCALENDAR
Specific topics includes, but are not limited to: logic for semantics of lexica l items, sentences, discourse and dialog, continua tions in natural language semantics, formal tools in textual inference, such as logics for natural l anguage inference, applications of category theory in semantics, linear logic in semantics, formal a pproaches to unifying data-driven and declarative approaches to semantics.

\n