Aim and Topics
Important Dates
Organizing Committee

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

Workshop Site(s):
(Nov. 13th) National Institute for Japanese Language and Linguistics
Room #201, 10-2 Midori-cho, Tachikawa City, Tokyo, 190-8561
(Nov. 14th, 15th) Raiousha Building, Keio University
Kanagawa, Japan
Dates: November 13-15, 2016
  • Alastair Butler (National Institute for Japanese Language and Linguistics)
  • Eric McCready (Aoyama Gakuin University)
  • Daisuke Bekki (Ochanomizu University/JST CREST/AIST AIRC/NII)
  • Koji Mineshima (Ochanomizu University/JST CREST)
Invited Speakers:
  • Robin Cooper (University of Gothenburg)
  • Tim O'Gorman (University of Colorado Boulder)
  • Masaaki Nagata (NTT Communication Science Laboratories)
  • Youichi Matsusaka (Tokyo Metropolitan University)

Aim and Topics

LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the 8th JSAI International Symposia on AI (isAI2016) sponsored by the Japan Society for Artificial Intelligence (JSAI).

The first day of LENLS will include an Unshared Task on Theory and System analysis with FraCaS, MultiFraCaS and JSeM Test Suites, for which there are more specific submission details at

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

  • Formal syntax, semantics and pragmatics of natural language
  • Model-theoretic and/or proof-theoretic semantics of natural language
  • Computational Semantics
  • Game-theoretic/Bayesian approaches to pragmatics
  • Nonclassical Logic and its relation to natural language (especially Substructural/Fuzzy/Categorical/Topological logics)
  • Formal Philosophy of language
  • Scientific methodology and/or experimental design for linguistics

Selected Papers

We also plan to publish a selection of the accepted/invited papers as a portion of a volume "JSAI-isAI selected papers", which will be published from `Lecture Notes in Artificial Intelligence' series (Springer Verlag).

Important dates:

Abstract submission deadline:September 10, 2016
Notification of acceptance:September 30, 2016
Deadline for camera-ready copy:October 22, 2016
Deadline for onsite registration:October 31, 2016
Unshared Task: Theory and System analysis with FraCaS, MultiFraCaS and JSeM Test Suites:November 13, 2016
LENLS13:November 14-15, 2016


The proceedings of the workshop (USB version) will be available at the conference site for registered persons. Please follow the link below and register yourself until October 31, 2016.


Proceedings of LENLS13

1st Day: November 13 (Sun), 2016. Unshared Task Workshop@NINJAL

9:30-10:00 Reception and coffee
10:00-10:15 Opening Remarks  
  • Alastair Butler
  • "Unshared Task at LENLS13 -- Theory and System analysis with FraCaS, MultiFraCaS and JSeM Test Suites --"
10:15-11:15 Invited Talk 1  (Chair: Koji Mineshima)
  • Robin Cooper (joint work with Stergios Chatzikyriakidis and Simon Dobnik)
  • "Testing the FraCaS test suite"
11:15-11:30 Coffee Break
11:30-12:30 Unshared Task 1  (Chair: Yusuke Kubota)
  • Daisuke Bekki
  • "FraCaS, JSeM and the 'Inferences as Tests' paradigm"
  • Alastair Butler, Ai Kubota, Shota Hiyama and Kei Yoshimoto
  • "Treebank annotation of FraCaS and JSeM"
  • Oleg Kiselyov
  • "Transformational Semantics on a tree bank"
12:30-14:00 Lunch
14:00-15:00 Invited Talk 2  (Chair: Ai Kubota)
  • Tim O'Gorman
  • "Improving AMR performance on FraCaS"
15:00-15:15 Coffee Break
15:15-16:45 Unshared Task 2  (Chair: Alastair Butler)
  • Ran Tian and Kentaro Inui
  • "Unshared Task of Natural Language Inference"
  • Koji Mineshima
  • "How ccg2lambda solves FraCaS/JSeM"
  • Yusuke Kubota
  • "FraCaS meets transformational grammar"
16:45-17:00 Coffee Break
17:00-18:00 Invited Talk 3  (Chair: Alastair Butler)
  • Masaaki Nagata
  • "Can semantics contribute to neural machine translation?"

2nd Day: November 14 (Mon), 2016. LENLS13@Keio University

10:00-10:30 Registration
10:30-11:30 Dynamic Semantics  (Chair: Eric McCready)
  • Hsiang-Yun Chen
  • "Solving the Proportion Problem"
  • Naoya Fujikawa
  • "Coordination and Anaphora in Attitude Contexts"
11:30-13:30 Lunch
13:30-14:30 Expressive meanings  (Chair: Richard Dietz)
  • Lukas Rieser
  • "Truth-conditionals and Use-conditionals: and expressive modal analysis"
  • Eric Mccready and Gr\'egoire Winterstein
  • "Negotiating Epistemic Authority"
14:30-15:00 Coffee Break
15:00-16:30 Type Theoretic Semantics  (Chair: Osamu Sawada)
  • Bruno Mery
  • "Lessons from a Prototype Implementation of Montagovian Lexical Semantics"
  • Ribeka Tanaka, Koji Mineshima and Daisuke Bekki
  • "On the interpretation of dependent plural anaphora in a dependently-typed setting"
  • Eriko Kinoshita, Koji Mineshima and Daisuke Bekki
  • "An Analysis of Selectional Restrictions with Dependent Type Semantics"
16:30-17:00 Coffee Break
17:00-18:00 Invited Talk 4  (Chair: Koji Mineshima)
  • Youichi Matsusaka
  • "Reference and Pattern Recognition: A Metasemantic Study"
19:00- Banquet@Ebisu

3rd Day: November 15 (Tue), 2016. LENLS13@Keio University

10:30-11:30 Japanese Linguistics  (Chair: Kei Yoshimoto)
  • Tomohide Kinuhata
  • "Interpretation of Wh-words in Aza-Irabu Miyakoan"
  • Osamu Sawada
  • "Interpretations of embedded expressives: A view from the Japanese comparative expressive motto"
11:30-13:30 Lunch
13:00-14:30 Syntax  (Chair: Daisuke Bekki)
  • Oleg Kiselyov and Leo Tingchen Hsu
  • "Non-canonical Coordination in the Transformational Approach"
  • Alastair Butler
  • "From meaning representations to syntactic trees"
  • Philippe de Groote
  • "Lambek Categorial Grammars as Abstract Categorial Grammars"
14:30-15:00 Coffee Break
15:00-16:30 Philosophy of Language  (Chair: Yasuo Nakayama)
  • Kristina Liefke and Mark Bowker
  • "Rich situated propositions: the 'right' objects for the content of propositional attitudes"
  • Shuhei Shimamura
  • "A Nonmonotonic Sequent Calculus with Downward Conditional"
  • Matthias Hofer
  • "Game Semantics and Vagueness in Natural Language"
16:30-17:00 Coffee Break
17:00-18:00 Invited Talk 5  (Chair: Alastair Butler)
  • Robin Cooper
  • "Proper names in interaction"


  • Yasuo Nakayama
  • "Conversation as a Game"


LENLS is being organized by an alliance of "Establishment of Knowledge-Intensive Structural Natural Language Processing and Construction of Knowledge Infrastructure" project, funded by JST CREST Programs "Advanced Core Technologies for Big Data Integration".

Organizing/Program Committee:

  • Alastair Butler (National Institute for Japanese Language and Linguistics)
  • Eric McCready (Aoyama Gakuin University)
  • Daisuke Bekki (Ochanomizu University/JST CREST/AIST AIRC/NII)
  • Koji Mineshima (Ochanomizu University/JST CREST)
  • Richard Dietz (University of Tokyo)
  • Yoshiki Mori (University of Tokyo)
  • Yasuo Nakayama (Osaka University)
  • David Y. Oshima (Nagoya University)
  • Katsuhiko Sano (Hokkaido University)
  • Osamu Sawada (Mie University)
  • Wataru Uegaki (Leiden University)
  • Katsuhiko Yabushita (Naruto University of Education)
  • Tomoyuki Yamada (Hokkaido University)
  • Shunsuke Yatabe (West Japan Railway Company)
  • Kei Yoshimoto (Tohoku University)