6th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 6)

  • Daisuke Bekki
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6284)


The annual international workshop LENLS (Logic and Engineering of Natural Language Semantics) covers topics in formal linguistics and related fields, such as theoretical computer science, mathematical logic and formal philosophy, and includes the following:

  • \(\maltese\) Dynamic syntax/semantics/pragmatics of natural language

  • \(\maltese\) Categorical/topological/coalgebraic approaches to natural language syntax/ semantics/pragmatics

  • \(\maltese\) Logic and its relation to natural language and linguistic reasoning (especially dynamic logics)

  • \(\maltese\) Type-theoretic approaches to natural language

  • \(\maltese\) Formal philosophy of language

  • \(\maltese\) Formal pragmatics (especially game- and utility-theoretic approaches)

  • \(\maltese\) Substructural expansion of Lambek Lambda Calculi

  • \(\maltese\) Many-valued/Fuzzy and other non-classical logics and natural language

Formal linguistics is intrinsically an interdisciplinary field. Indeed, most of the formalisms which have been adopted in formal linguistics have their origin in the field of theoretical computer science, and in programming semantics especially.


  1. Barker, C.: Introducing Continuations. In: Hastings, R., Jackson, B., Zvolenszky, Z. (eds.) The Proceedings of SALT 11. CLC Publications, Ithaca (2001)Google Scholar
  2. Church, A.: The Calculi of Lambda Conversion. Annals of Mathematical Studies, vol. 6, ii+77. Princeton University Press, Princeton (1941)Google Scholar
  3. Danvy, O., Filinski, A.: Abstracting Control. In: The Proceedings of LFP 1990, the 1990 ACM Conference on Lisp and Functional Programming, pp. 151–160 (1990)Google Scholar
  4. de Groote, P.: Type raising, continuations, and classical logic. In: van Rooij, R., Stokhof, M. (eds.) The Proceedings of the 13th Amsterdam Colloquium, Institute for Logic, Language and Computation, Universiteit van Amsterdam, pp. 97–101 (2001)Google Scholar
  5. Groenendijk, J., Stokhof, M.: Dynamic Predicate Logic. Linguistics and Philosophy 14, 39–100 (1991)CrossRefzbMATHGoogle Scholar
  6. Harel, D. (ed.): First-Order Dynamic Logic. LNCS, vol. 68. Springer, Heidelberg (1979)zbMATHGoogle Scholar
  7. Montague, R.: The Proper Treatment of Quantification in Ordinary English. In: Hintikka, J., Moravcsic, J., Suppes, P. (eds.) Approaches to Natural Language, pp. 221–242. Reidel, Dordrecht (1973)CrossRefGoogle Scholar
  8. Plotkin, G.D.: Call-by-Name, Call-by Value and the Lambda Calculus. Theoretical Computer Science 1, 125–159 (1975)CrossRefzbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Daisuke Bekki
    • 1
  1. 1.Ochanomizu UniversityTokyoJapan

Personalised recommendations