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

[BEKKI Daisuke]

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

今年の１０月に東京で開催される LENLS 10 国際ワークショップの
プログラムをお送り致します。
皆様のご参加をお待ちしております。

戸次大介（お茶の水女子大学／国立情報学研究所）


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

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

Workshop Site : "Raiousha Building, Keio University"
                Kanagawa, Japan.
                http://www.keio.ac.jp/en/maps/hiyoshi.html
Dates         : October 27-28, 2013
Contact Person: Shunsuke Yatabe (West Japan Railway Company)
Contact Email : lenls10[[at]]easychair.org
Website       : http://www.is.ocha.ac.jp/‾bekki/lenls/
=================================================================

Chair:  Shunsuke Yatabe (West Japan Railway Company)
Co-chair: Daisuke Bekki (Ochanomizu University
                         /National Institute of Informatics)
          Eric McCready (Aoyama Gakuin University)


LENLS is an annual international workshop on formal syntax,
semantics and pragmatics. It will be held as one of the workshops of
the fifth JSAI International Symposia on AI (isAI2013)
(http://www.ai-gakkai.or.jp/jsai-isai/2013/)
sponsored by the Japan Society for Artificial Intelligence (JSAI)
(http://www.ai-gakkai.or.jp/jsai/english.html).


Aims and Topics:
================
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 and references)
must be submitted electronically in PDF format at:

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

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: July 31, 2013
Notification of acceptance: August 26, 2013
Deadline for camera-ready copy: September, 2013
LENLS10: October 27-28, 2013
Tutorial Lecture: October 29, 2013


Workshop Organizers/Program Committee:
======================================
  - Shunsuke Yatabe (West Japan Railway Company)
  - Daisuke Bekki (Ochanomizu University/National Institute of Informatics)
  - Alastair Butler (PRESTO JST/Tohoku 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)
  - Kei Yoshimoto (Tohoku University)