Logic and Engineering of Natural Language Semantics 9 (LENLS9)

LENLS is an annual international workshop focusing on formal semantics and pragmatics. It will be held as one of workshops of JSAI isAI 2012, sponsored by The Japan Society for Artificial Intelligence (JSAI).

We invite submissions to this year's workshop on topics in formal semantics and pragmatics, and related fields, including but in no way limited to the following:

• Dynamic syntax/semantics/pragmatics of natural language
• Categorical/topological/coalgebraic approaches for natural language syntax/semantics/pragmatics
• Logic and its relation to natural language and linguistic reasoning (especially dynamic logics)
• Type-theoretic approaches to natural language
• Formal Philosophy of language
• Formal pragmatics (especially game- and utility-theoretic approaches)
• Substructural expansion of Lambek Lambda Calculi
• Many-valued/Fuzzy and other non-classical logics and natural language

On the 1st December, there will also be special tutorial lectures at the workshop venue.

https://www.easychair.org/conferences/?conf=lenls9

When his/her abstract is accepted, the author is expected to submit a full paper (10-14 pages) before the workshop. The proceedings of the workshop will be available at the conference site for registered persons.