Organizers:
Chris Barker
New York University
Email: chris barker at nyu . edu
Valeria de Paiva
Nuance.com
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.
|