Aim and Topics
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 (The bldg. #20 in the "campus map" in the following webpage)
(23rd,24th) Raiousha Building, Keio University
Kanagawa, Japan
Dates: November 22-24, 2014
  • Koji Mineshima (Ochanomizu University/JST CREST)
  • Daisuke Bekki (Ochanomizu University/National Institute of Informatics/JST CREST)
  • 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

Important dates:

Abstract submission deadline:August 25, 2014 (EXTENDED)
Notification of acceptance:September 30, 2014
Deadline for camera-ready copy:October 31, 2014
Deadline for onsite registration:November 10, 2014
LENLS11:November 22-24, 2014
(1 day workshop in Kyoto University with Chris Barker and Matthew Stone):November 28, 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: Daisuke Bekki)
  • Alain Lecomte
  • "An interaction framework for dialogue: combining Ludics and Type Theory with Records"
  • Laurent Prevot and Jan Gorisch
  • "Crossing Empirical and Formal approaches for studying French feedback items"
  • 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)
  • Elena Castroviejo and Berit Gehrke
  • "A Good intensifier"
  • Ribeka Tanaka, Koji Mineshima and Daisuke Bekki
  • "Resolving Modal Anaphora in Dependent Type Semantics"
  • Krystian Jobczyk, Maroua Bouzid, Antoni Ligeza, and Jerzy Karczmarczuk
  • "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
  • "Scalarity of EVEN"

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

9:00-9:30 Registration and Coffee Break
9:30-10:30 Invited Talk2   (Chair: (TBA))
  • Mizoguchi Riichiro (shared with JURISIN workshop)
  • "Ontology engineering - Theory and practice -"
10:45-12:00 Student Session   (Chair: Katsuhiko Yabushita)
  • Makiko Kato
  • "Japanese plural marker tachi and associativity"
  • Yu-Mi Jo
  • "Temporal Pluractional Adverbs in Korean: Focusing on Tatali, Nanali, and Halwuhalwu"
  • Daniel Tiskin
  • "Specific Opaque Readings and Proportional Determiners"
12:00-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: Richard Dietz)
  • 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: Daisuke Bekki)
  • Matthew Stone
  • "Logic and Probability in Grounded Semantics"
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)
  • Stergios Chatzikyriakidis and Zhaohui Luo
  • "Using Signatures in Type Theory to Represent Situations"
  • Alastair Butler and Kei Yoshimoto
  • "Semantic Visualisation with Flame Graphs"
  • Osamu Sawada
  • "Polarity sensitivity and update refusal: the case of the Japanese negative totemo `very'"
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"
  • Kristina Liefke
  • "Codability and Robustness in Formal Natural Language Semantics"
  • 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: Shunsuke Yatabe)
  • Satoru Suzuki
  • "Measurement-Theoretic Foundations of Observational-Predicate Logic"
  • Yasuo Nakayama
  • "Formal Analysis of Epistemic Modalities and Conditionals based on Logic of Belief Structures"
  • 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"


  • Lisa Bylinina, Natalia Ivlieva, Alexander Podobryaev and Yasutada Sudo
  • "A Non-Superlative Semantics for Ordinals and the Syntax of Comparison Classes"
  • 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/JST CREST)
  • Daisuke Bekki (Ochanomizu University/National Institute of Informatics/JST CREST)
  • 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)