Aim and Topics
Important Dates
Organizing Committee
LENLS archives

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

Workshop Site(s):
(Nov. 13th) National Institute for Japanese Language and Linguistics
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

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.


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

9:45-10:00 Opening Remarks
10:00-11:00 Invited Talk 1  
  • Robin Cooper (joint work with Stergios Chatzikyriakidis and Simon Dobnik)
  • "Testing the FraCaS test suite"
11:00-11:15 Coffee Break
11:15-12:15 Unshared Task 1  
  • 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:15-14:00 Lunch
14:00-15:00 Invited Talk 2  
  • Tim O'Gorman
  • "Improving AMR performance on FraCaS"
15:00-15:15 Coffee Break
15:15-16:45 Unshared Task 2  
  • 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  
  • Masaaki Nagata
  • "Can semantics contribute to neural machine translation?"

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

9:30-10:00 Registration
10:00-11:30 Dynamic Semantics  
  • Hsiang-Yun Chen
  • "Solving the Proportion Problem"
  • Naoya Fujikawa
  • "Coordination and Anaphora in Attitude Contexts"
  • Dorit Abusch
  • "A dynamic semantics for indexing in pictorial narratives"
11:30-13:30 Lunch
13:30-14:30 Expressive meanings  
  • 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  
  • Bruno Mery
  • "Lessons from a Prototype Implementation of Montagovian Lexical Semantics"
  • Eriko Kinoshita, Koji Mineshima and Daisuke Bekki
  • "An Analysis of Selectional Restrictions with Dependent Type Semantics"
  • Ribeka Tanaka, Koji Mineshima and Daisuke Bekki
  • "On the interpretation of dependent plural anaphora in a dependently-typed setting"
16:30-17:00 Coffee Break
17:00-18:00 Invited Talk 4  
  • Youichi Matsusaka
  • "Reference and Pattern Recognition: A Metasemantic Study"

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

10:30-11:30 Japanese Linguistics  
  • 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  
  • 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  
  • 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  
  • Robin Cooper
  • "Proper names in interaction"


  • Yasuo Nakayama
  • "Conversation as a Game"
  • Ryuta Arisaka
  • "Predicate Gradual Logic and Generalised Donkey Anaphora"


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 (Japan Advanced Institute of Science and Technology)
  • 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)