Logic and Engineering of Natural Language Semantics 8 (LENLS8)
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.
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).
|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
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"
13:00-15:00 Session 2
15:00-15:30 Coffee break
- 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:30-16:30 Session 3
16:30-17:30 Invited Talk 1
- Gre'goire Winterstein
"Ludics and Presupposition Projection"
- Nicholas Asher and Jason Quinley
"Begging Questions, Getting Answers and Basic Cooperativity"
- Frank Veltman (University of Amsterdam)
"Or else, what?"
December 2nd (Fri), 2011
09:00-10:30 Session 4
10:30-11:00 Coffee break
- 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"
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"
14:00-15:00 Session 6
15:00-15:30 Coffee break
- Satoru Suzuki
"Measurement-Theoretic Foundations of Gradable-Predicate Logic"
- Alastar Butler and Kei Yoshimoto
"Towards a self-selective and self-healing evaluation"
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"
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
10:00-12:00 Session 1: Tutorial lecture by Eric McCready
Title: "Theories of Evidentiality" [PDF]
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.
13:30-17:30 Session 2: Tutorial lecture by Frank Veltman
- Alastair Butler (Chair)
- Daisuke Bekki
- Eric McCready
- Yoshiki Mori
- Yasuo Nakayama
- Katsuhiko Yabushita
- Tomoyuki Yamada
- Shunsuke Yatabe
- Kei Yoshimoto
lenls8 [[at]] easychair.org