Aim and Topics
Selected Papers
Student Session
Important Dates
Organizing Committee
LENLS archives

Logic and Engineering of Natural Language Semantics 11 (LENLS11)

Workshop Site(s):
(22nd) Ochanomizu University
Room 207-209, Science Building 3, Tokyo, Japan
(23rd,24th) Raiousha Building, Keio University
Kanagawa, Japan
Dates: November 22-24, 2014
  • Koji Mineshima (Ochanomizu University)
  • Daisuke Bekki (Ochanomizu University/National Institute of Informatics)
  • Eric McCready (Aoyama Gakuin University)
Invited Speakers:
  • Chris Barker (New York University)
  • Kimiko Nakanishi (Ochanomizu University)
  • Matthew Stone (Rutgers University)
  • Christopher Tancredi (Keio 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 Sixth JSAI International Symposia on AI (isAI2014) sponsored by the Japan Society for Artificial Intelligence (JSAI).

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 of natural language
  • Formal semantics and pragmatics of natural language
  • Model-theoretic and/or proof-theoretic semantics of natural language
  • Computational Semantics
  • Continuations in natural language
  • 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:August 25, 2014 (EXTENDED)
Notification of acceptance:September 30, 2014
Deadline for camera-ready copy:October 30, 2014
Deadline for onsite registration:November 10, 2014
LENLS11:November 22-24, 2014


The proceedings of the workshop will be available at the conference site for registered persons. Please follow the link below and register yourself until 10th November 2014.


1st Day: November 22th (Sat), 2014 @Ochanomizu University

12:30-12:50 Reception
12:50-13:00 Opening Remarks
13:00-14:30 Session 1   (Chair: Katsuhiko Sano)
  • Kristina Liefke
  • "Codability and Robustness in Formal Natural Language Semantics"
  • Alain Lecomte
  • "An Interaction Framework for Dialogue"
  • Yurie Hara
  • "Radical Inquisitive Investigation into Cantonese Biased and Neutral Questions"
14:30-14:45 Coffee Break
14:45-16:15 Session 2   (Chair: Eric McCready)
  • Stergios Chatzikyriakidis and Zhaohui Luo
  • "Using Signatures to represent situations in MTTs"
  • Ribeka Tanaka, Koji Mineshima and Daisuke Bekki
  • "Resolving Modal Anaphora in Dependent Type Semantics"
  • Krystian Jobczyk
  • "Temporal verbs and adverbs: 'often' and 'many times' and their fuzzy-integral-logic based modelling"
16:15-16:30 Coffee Break
16:30-17:30 Invited Talk1   (Chair: Yoshiki Mori)
  • Kimiko Nakanishi
  • "(TBA)"

2nd Day: November 23th (Sun), 2014 @Keio University

8:30-9:00 Registration and Coffee Break
9:00-10:00 Invited Talk2   (Chair: (TBA))
  • Mizoguchi Riichiro
  • "(TBA)"
10:15-11:30 Student Session   (Chair: Katsuhiko Yabushita)
  • Daniel Tiskin
  • "Specific Opaque Readings and Proportional Determiners"
  • Makiko Kato
  • "Japanese plural marker tachi and associativity"
  • Yu-Mi Jo
  • "Temporal Pluractional Adverbs in Korean: Focusing on Tatali, Nanali, and Halwuhalwu"
11:30-13:00 Lunch
13:00-14:30 Session 3   (Chair: Alastair Butler)
  • Daisuke Bekki and Eric McCready
  • "CI via DTS"
  • Bruno Mery, Richard Moot and Christian Retore
  • "Computing the Semantics of Massive Entities using Many-Sorted Types"
  • Oleg Kiselyov
  • "Canonical Constituents and Non-canonical Coordination: Simple Categorial Grammar account"
14:30-14:45 Coffee Break
14:45-15:45 Session 4   (Chair: Daisuke Bekki)
  • Eric McCready
  • "Honorific Denotations"
  • Philippe de Groote and Yoad Winter
  • "A type-logical account of quantification in event semantics"
15:45-16:00 Coffee Break
16:00-17:00 Invited Talk3   (Chair: Shunsuke Yatabe)
  • Matthew Stone
  • "(TBA)"
17:00-17:15 Coffee Break
17:15-18:15 Invited Talk4   (Chair: Koji Mineshima)
  • Chris Tancredi
  • "Focus and Givenness"
19:00- Banquet

3rd Day: November 24th (Mon), 2014 @Keio University

9:30-10:00 Coffee Break
10:00-11:30 Session 5   (Chair: Chungmin Lee)
  • Lisa Bylinina, Natalia Ivlieva, Alexander Podobryaev and Yasutada Sudo
  • "A Non-Superlative Semantics for Ordinals and the Syntax of Comparison Classes"
  • Laurent Pre'vot and Jan Gorisch
  • "Crossing Empirical and Formal approaches for studying French feedback items"
  • Alastair Butler and Kei Yoshimoto
  • "Semantic Visualisation with Flame Graphs"
11:30-13:00 Lunch
13:00-14:30 Session 6   (Chair: Kei Yoshimoto)
  • Lasha Abzianidze
  • "Towards a Wide-coverage Tableau Method for Natural Logic"
  • Elena Castroviejo and Berit Gehrke
  • "A GOOD intensifier"
  • Shinya Okano and Yoshiki Mori
  • "On CG management of Japanese weak necessity modal 'hazu'"
14:30-14:45 Coffee Break
14:45-16:15 Session 7   (Chair: Richard Dietz)
  • Satoru Suzuki
  • "Measurement-Theoretic Foundations of Observational-Predicate Logic"
  • Yasuo Nakayama
  • "Logic for Epistemic Modalities and Conditionals"
  • Zhiguo Xie
  • "An epistemic modal for strict comparison in Mandarin Chinese"
16:15-16:30 Coffee Break
16:30-17:30 Invited Talk5   (Chair: Koji Mineshima)
  • Chris Barker
  • "The Logic of Scope"
17:00-17:15 Coffee Break


  • Osamu Sawada
  • "Polarity sensitivity and update refusal: the case of the Japanese negative totemo"
  • Richard Zuber
  • "On the logical reducibility of reflexives"


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:

  • Koji Mineshima (Ochanomizu University)
  • Daisuke Bekki (Ochanomizu University/National Institute of Informatics)
  • Alastair Butler (Tohoku University)
  • Richard Dietz (University of Tokyo)
  • Eric McCready (Aoyama Gakuin 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 (Kyoto University)
  • Kei Yoshimoto (Tohoku University)