LENLS8 (Logic and Engineering of Natural Language Semantics 8)

Aim and Topics
Selected Papers
Important Dates
Tutorial Lecture
Organizing Committee
LENLS archives

Logic and Engineering of Natural Language Semantics 8 (LENLS8)

Workshop Site: Sunport Hall Takamatsu, Takamatsu
2-1, Sunport, Takamatsu-shi, Kagawa-ken, Japan [google map]
Information/RegistrationF5th Floor
Conference RoomsF5th and 6th Floor

Dates: December 1-2, 2011
  • Alastair Butler (JST/Tohoku University)
Invited Speakers:
  • Frank Veltman (University of Amsterdam)
  • Kentaro Inui (Tohoku University)
Information on Takamatsu:

Aim and Topics

LENLS is an annual international workshop focusing on formal semantics and pragmatics. It will be held as one of workshops of JSAI isAI 2011, sponsored by The Japan Society for Artificial Intelligence (JSAI).

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- and utility-theoretic approaches)
  • Substructural expansion of Lambek Lambda Calculi
  • Many-valued/Fuzzy and other non-classical logics and natural language

This year we especially welcome submissions connected to the theme of "Where is dynamic semantics now?". Flavours of dynamic semantics (world updating, assignment changing, etc.) have been broadly applied to solve problems in linguistics (notably anything related to anaphora) and philosophy (e.g., foundational issues of context, the role of variables) and have prompted the development of a diverse range of frameworks with replicable formal results. However in recent years direct appeals to the dynamic metaphor have been wanning, as has the explicit development of novel systems, or even refinements to or mergings of older systems. Has dynamic semantics been so successful in solving its problems that all that remains for discussion are implementational differences among established parameters, or have debates simply shifted to new issues? Either way now seems an apt time to take stock and question where the decades of research have taken us and where we might hope this legacy to send us in the future.

On the 3rd December, there will also be special tutorial lectures at the workshop venue by Frank Veltman (University of Amsterdam) and Eric McCready (Aoyama Gakuin University).


Abstracts (4-6 pages, including figures, bibliography, possible apendices) must be submitted electronically in PDF format at:


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.

Selected Papers

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

Important dates:

Abstract submission deadline (extended):September 15, 2011
Notification of acceptance :October 10, 2011
Deadline for camera-ready copy :October 28, 2011
Deadline for onsite registration :November 24, 2011
LENLS8 :December 1-2, 2011
Tutorial Lectures :December 3, 2011


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



December 1st (Thu), 2011

09:00-10:00 Reception
10:00-10:10 Opening Remarks
10:10-11:40 Session 1
  • Yoshiki Mori
  • "Back To the Future, Back From the Future — To and Fro For the Counterfactual Future In the Past —"
  • Yurie Hara, Shigeto Kawahara and Yuli Feng
  • "Emphatic Stress as Epistemic Conflict: A case study of Mandarin Chinese"
  • Chungmin Lee
  • "Dynamic Perspective Shifts in Evidentials: Evidence from Korean"
11:40-13:00 Lunch
13:00-15:00 Session 2
  • Mauricio Hernandes
  • "Players who don't know how to play. An Haskell implementation of unawareness."
  • Oleg Prosorov
  • "A Sheaf-Theoretic Framework for Dynamic Semantics"
  • Margot Colinet and Gre'goire Winterstein
  • "Linking probabilistic accounts: polarity items and discourse markers"
  • Hiroko Ozaki and Daisuke Bekki
  • "Extractability as Deduction Theorem in Subdirectional Combinatory Logic"
15:00-15:30 Coffee break
15:30-16:30 Session 3
  • Gre'goire Winterstein
  • "Ludics and Presupposition Projection"
  • Nicholas Asher and Jason Quinley
  • "Begging Questions, Getting Answers and Basic Cooperativity"
16:30-17:30 Invited Talk 1
  • Frank Veltman (University of Amsterdam)
  • "Or else, what?"

December 2nd (Fri), 2011

08:30-09:00 Reception
09:00-10:30 Session 4
  • Yo Sato and Wai Lok Tam
  • "Underspecified types and the semantic bootstrapping of common nouns and adjectives: a simulation with a robot's sensory data "
  • David Yoshikazu Oshima
  • "The Japanese particle yo in declaratives: Relevance, priority, and blaming"
  • Katsuhiko Yabushita
  • "Japanese NPI Dare-mo as Unrestricted Universal Quantifier"
10:30-11:00 Coffee break
11:00-12:00 Session 5
  • J.-R. Hayashishita and Daisuke Bekki
  • "Conjoined nominal expressions in Japanese: Interpretation through monad"
  • Christina Unger
  • "Dynamic semantics as monadic computation"
12:00-14:00 Lunch
14:00-15:00 Session 6
  • Satoru Suzuki
  • "Measurement-Theoretic Foundations of Gradable-Predicate Logic"
  • Alastar Butler and Kei Yoshimoto
  • "Towards a self-selective and self-healing evaluation"
15:00-15:30 Coffee break
15:30-16:30 Invited Talk 2
  • Kentaro Inui (Tohoku University)
  • "Toward Deep Processing of Language in the Era of Large-scale Knowledge Resources: Time for Formal Semantics to Meet NLP Again"
18:00- Dinner

Tutorial Lectures

December 3rd (Sat), 2011


Frank Veltman (University of Amsterdam)
Eric McCready (Aoyama Gakuin University)


"Sunport Hall Takamatsu", Takamatsu 2-1, Sunport, Takamatsu-shi, Kagawa-ken, Japan

Time Table

10:00-12:00 Session 1: Tutorial lecture by Eric McCready
    Title: "Theories of Evidentiality"
      Abstract: Evidentiality has been an increasingly popular research area in formal semantics and pragmatics. In this talk, I introduce several influential recent theories of evidentials and (some of) the phenomena that they have been used to analyze. I also discuss the suitability of theories of evidence found in the epistemological and philosophy of science literature for the foundations of the theory of evidentiality and indicate what I take to be the characteristics required for such a theory.
          12:00-13:30 Lunch
            13:30-17:30 Session 2: Tutorial lecture by Frank Veltman
              Title: "Counterfactuals"

                  Organizing/Program Committee:

                  • Alastair Butler (Chair)
                  • Daisuke Bekki
                  • Eric McCready
                  • Yoshiki Mori
                  • Yasuo Nakayama
                  • Katsuhiko Yabushita
                  • Tomoyuki Yamada
                  • Shunsuke Yatabe
                  • Kei Yoshimoto


                  lenls8 [[at]] easychair.org