[logic-ml] CFP: LENLS 9 (Logic and Engineering of Natural Language Semantics 9)

[BEKKI Daisuke]

（重複して受け取られた場合はご容赦ください）

今年の１２月に宮崎で開催される LENLS 9 国際ワークショップのCFPをお
送り致します。多数のご投稿をお待ちしております。

戸次大介（お茶の水女子大学）


[Apologies for multiple copies]
=================================================================
                    FIRST CALL FOR PAPERS

                  Logic and Engineering of
             Natural Language Semantics 9 (LENLS 9)

Workshop Site : "Amusement Zone Miyazaki (The JA-AZM Hall)"
                Kirishima 1-1-1, Miyazaki, Japan.
                http://www.jaazm.jp/access/english.html
Dates         : December 1-3, 2012
Contact Person: Alastair Butler (PRESTO JST/Tohoku University)
Contact Email : lenls9[[at]]easychair.org
Website       : http://www.is.ocha.ac.jp/‾bekki/lenls/
=================================================================

Chair:  Alastair Butler (PRESTO JST/Tohoku University)
Co-chair: Daisuke Bekki (Ochanomizu University)
          Eric McCready (Aoyama Gakuin University)

Invited Speaker(s):
- Hans Kamp (University of Stuttgart)


Call For Papers:
================
LENLS is an annual international workshop focusing on formal semantics
and pragmatics. It will be held as one of the workshops of 
the third JSAI International Symposia on AI (isAI2012)
(http://www.ai-gakkai.or.jp/jsai-isai/2012/)
sponsored by the Japan Society for Artificial Intelligence (JSAI)
(http://www.ai-gakkai.or.jp/jsai/english.html).

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-theoretic and utility-theoretic 
  approaches)
- Substructural expansion of Lambek Lambda Calculi
- Many-valued/Fuzzy and other non-classical logics and natural language


Submissions:
============
Abstracts (up to 4 pages, including figures, bibliography, apendices)
must be submitted electronically in PDF format at:

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.


Important dates:
================
Abstract submission deadline: September 1, 2012
Notification of acceptance: October 10, 2012
Deadline for camera-ready copy: October 31, 2012
Deadline for onsite registration: November 24, 2012
LENLS 9: December 01-02, 2012
Tutorial Lecture (by Hans Kamp): December 03, 2012


Workshop Organizers/Program Committee:
======================================
  - Alastair Butler (PRESTO JST/Tohoku University)
  - Daisuke Bekki (Ochanomizu University)
  - Eric McCready (Aoyama Gakuin University)
  - Koji Mineshima (Keio University)
  - Yoshiki Mori (University of Tokyo)
  - Yasuo Nakayama (Osaka University)
  - Katsuhiko Sano (Japan Advanced Institute of Science and Technology)
  - Katsuhiko Yabushita (Naruto University of Education)
  - Tomoyuki Yamada (Hokkaido University)
  - Shunsuke Yatabe (National Institute of 
                     Advanced Industrial Science and Technology)
  - Kei Yoshimoto (Tohoku University)