NLCS 2014 - Second Workshop on Natural Language and Computer Science

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:
Anne Abeillé, Université Paris Diderot
Aarne Ranta, Chalmers University of Technology and University of Gothenburg
Laure Vieu, Université Paul Sabatier
Program Commitee
Robin Cooper, University of Gothenburg
Valeria de Paiva, Nuance Communications (co-chair)
Christophe Fouqueré, Université Paris 13
Larry Moss, Indiana University (co-chair)
Ian Pratt-Hartmann, University of Manchester, UK
Christian Retoré, Université de Bordeaux (co-chair)
Wlodek Zadrozny, UNC, Charlotte