pitss pic

Chris Barker
New York University
Email: chris barker at nyu . edu

Valeria de Paiva
Email: Valeria.dePaiva at nuance .com

Larry Moss
Indiana University
Email: lsm at cs.indiana . edu

Important Dates:

Paper submission: May 10, 2016
Notification: May 20, 2016
Electronic versions due: June 14, 2016

Workshop Date:
July 10, 2016

LICS16 Dates:
July 5-8, 2016

Fourth Workshop on
Natural Language and Computer Science

NLCS '16

  July 10, 2016

Columbia University, Mudd 627

New York City, NY

A workshop affiliated with Logic in Computer Science 2016

Endorsed by the Association for Computational Linguistics Special Interest Group on Computational Semantics.


Formal tools coming from logic and category theory are important in both natural language semantics and in computational semantics. Moreover, work on these tools borrows heavily from all areas of theoretical computer science. In the other direction, applications having to do with natural language has inspired developments on the formal side. The workshop invites papers on both topics. Specific topics includes, but are not limited to:

  • logic for semantics of lexical items, sentences, discourse and dialog
  • continuations in natural language semantics
  • formal tools in textual inference, such as logics for natural language inference
  • applications of category theory in semantics
  • linear logic in semantics
  • formal approaches to unifying data-driven and declarative approaches to semantics

Invited Speakers      

Contributed Papers

  • Steve Awodey, Ulrik Buchholtz and Colin Zwanziger: A categorical semantics of Montague's intensional logic.
  • Hamidreza Bahramian, Narges Nematollahi and Amr Sabry: Copredication in homotopy type theory. [Slides]
  • Simon Charlow and Dylan Bumford: Monadic dynamic semantics: side effects and scope. [Slides]
  • Justyna Grudzinska and Marek Zawadowski: Scope ambiguities, continuations and strengths. [Slides]
  • Kristina Liefke and Sam Sanders: A computable solution to Partee's temperature puzzle.
  • Steven Lindell and Jane Chandlee: A logical characterization of strictly local functions. [Slides]
  • William Tune: A calculus for reasoning about monotonicity.

Program Committee

  • Chris Barker, New York University
  • Cleo Condoravdi, Stanford University
  • Philippe de Groote, Inria
  • Gerard de Melo, Tsinghua University
  • Valeria de Paiva, Nuance Communications
  • Makoto Kanazawa, National Institute of Informatics
  • Larry Moss, Indiana University
  • Christian Retoré, Université de Montpellier

The program of NLCS'15 can be found here.

The program of NLCS'14 can be found here.

The program of NLCS'13 can be found here.