LENLS VII (Logic and Engineering of Natural Language Semantics 7)

Aim and Topics
Important Dates
Tutorial Lecture
Organizing Committee
LENLS archives

Logic and Engineering of Natural Language Semantics 7 (LENLS VII)

Workshop Site: Campus Innovation Center, Tokyo
          3-3-6 Shibaura, Minato-ku, Tokyo, Japan [google map]
Dates: November 18-19, 2010
  • Eric McCready (Aoyama Gakuin University)
Invited Speakers:
  • Alexandru Baltag (Oxford University)
  • Shunsuke Yatabe (National Institute of Advanced Industrial Science and Technology (AIST))

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 2010, 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 related to the "Formal Structures of Salience". Salience is a concept with broad application in linguistics and philosophy; in recent years, it has played a role in the analysis of phenomena including focus, particles, and anaphora resolution within linguistics, and in philosophy it has been used in analyses of various kinds of context dependency (e.g. domain restriction and vagueness), as well as in the analysis of convention. However, in many cases, the concept of salience is left as a primitive. Submissions discussing foundational issues in the understanding of salience would be welcomed. We especially hope for contributions with a formal orientation.

On the 20th, there will also be a special tutorial lecture at Ochanomizu University by A. Baltag (Oxford Univ, UK) and S. Smets (University of Groningen, The Netherlands).


Abstracts should be between 2 and 4 pages in length and in pdf format. Submissions should be sent to

The proceedings of the workshop will be available at the conference site for registered persons. We also plan to publish a selection of the accepted papers as a portion of a volume in the `Lecture Notes in Artificial Intelligence' series (Springer Verlag).

Important dates:

Abstract submission deadline :August 31, 2010
Notification of acceptance :September 25, 2010
Deadline for camera-ready copy :October 15, 2010
Deadline for onsite registration :November 12, 2010
LENLS 7 :November 18-19, 2010
Tutorial Lecture by A. Baltag and S. Smets:November 20, 2010


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



November 18th (Thu), 2010

Location: Campus Innovation Center Tokyo (Tamachi, Tokyo)
    10:00-10:15 Coffee Break
      10:15-10:20 Opening Remarks
        10:20-11:50 Session 1: General Semantics 1
        • Joo Yoon Chung
        • "Uncommon common grounds and the Korean reportative evidential -tay"
        • Myoung Hyoun Song, Chungmin Lee
        • "CF-reduplication: Dynamic Prototype and Contrasting Alternatives"
        • Arndt Riester
        • "Restriction triggers alternative presuppositions"
        11:50-13:30 Lunch
          13:30-15:00 Session 2: Formal Pragmatics
          • J.-R. Hayashishita
          • "On the focus sensitivity of so-called focus-sensitive particles"
          • Anton Benz
          • "Optimal Completion and Implicatures of Complex Sentences ---A Game Theoretic Approach"
          • Nicholas Asher, Sylvain Pogodalla
          • "SDRT and continuation semantics"
          15:00-15:20 Coffee Break
            15:20-16:50 Session 3: Formal Grammar
            • BEKKI Daisuke
            • "Combinatory Categorial Grammar as a Substructural Logic --- Preliminary Remarks ---"
            • Nakamura Hiroaki
            • "Biding of Relational Nouns and the Variable-free Semantics"
            • Alastair Butler, Kei Yoshimoto
            • "Interpreting Japanese Dependency Structure"
            16:50-17:00 Break
              17:00-18:00 Invited Talk 1
              • Alexandru Baltag
              • "Doxastic Attitudes and Group Communication"

              November 19th (Fri), 2010

              Location: Campus Innovation Center Tokyo (Tamachi, Tokyo) [info]
                10:00-10:20 Coffee Break
                  10:20-11:50 Session 4: General Semantics 2
                  • Osamu Sawada, Jun Sawada
                  • "Saliency and scalarity in the meaning of the Japanese expressive ano `that'"
                  • Stephanie Solt
                  • " Varieties of /Most/"
                  • Richard Zuber
                  • "Factives and intensionality"
                  11:50-13:30 Lunch
                    13:30-15:00 Session 5: NPI
                    • Csipak, Eva
                    • "how to be literally minimal"
                    • Yasutada Sudo
                    • "The Small Reading of the Scalar Particle Mo in Japanese and Negative Polarity"
                    • Tomohide KINUHATA
                    • "The Scope of Pronounced and Unpronounced Negation: A Case of Japanese Sika-nai and its Correlates"
                    15:00-15:20 Coffee Break
                      15:20-16:50 Session 6: Vagueness
                      • Satoru SUZUKI
                      • "Prolegomena to Salient-Similarity-Based Vague Predicate Logic"
                      • David Etlin
                      • "Vague Desire: The Sorites and the Money Pump"
                      • Michael Franke, Gerhard Jaeger, Robert van Rooij
                      • "Signaling, stochastic choice, and vagueness"
                      16:50-17:00 Break
                        17:00-18:00 Invited Talk 2
                        • Shunsuke Yatabe
                        • "Yablosque paradoxes and co-induction"


                        • Tohru Seraku
                        • "Towards a Dynamic-Syntax Account of Japanese Clefts: From the Viewpoint of Semantic Incrementality"

                        Tutorial Session on Quantum Logic

                        November 20th (Sat), 2010


                        Alexandru Baltag (Oxford Univ, UK)
                        Sonja Smets (University of Groningen, The Netherlands).


                        Ochanomizu University [
                        Faculty of Science, Building 3, room 209

                        IMPORTANT: You'll have to show your ID card and a hard copy of this webpage to get into the campus on Saturday.

                        Time Table

                        10:00-12:00 Session 1
                          12:00-14:00 Lunch
                            14:00-17:00 Session 2

                              Organizing Committee:

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