NLCS in New Orleans, yeah...

Lately I have been bad at writing blog posts...
Or not writing them, as the case maybe.. Anyways I have recently got back from the Natural Language and Computer Science (NLCS) Workshop that I co-organized with Larry Moss (Indiana University), associated with Logic in Computer Science (LiCS) 2013.

The workshop turned out really well, despite some organizational hazards. As we said in the proposal and call for papers  for the workshop:

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 have inspired developments on the formal side. The workshop invites papers on both topics. Specific topics include, 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:
Robin Cooper, University of Gothenburg, Sweden.

Ian Pratt-Hartmann, University of Manchester, UK.

Wlodek Zadrozny, UNC, Charlotte, North Carolina.

NLCS Workshop
120 Newcomb Hall
(Building 74 on the Campus Map)

Program

9:00 Valeria de Paiva, Nuance.com
Welcome [Slides]

9:10 Wlodek Zadrozny, University of North Carolina, Charlotte
After Watson [Slides]

10:10 Robin Cooper, University of Gothenburg, Sweden
Adapting Type Theory with Records for Natural Langauge Semantics [Slides]

11:20 Bruno Mery and Christian Retoré, Université de Bordeaux and IRIT, Toulouse
Advances in the Logical Representation of Lexical Semantics [Slides]

1:45 Christophe Fouqueré and Myriam Quatrini, Laboratoire d'Informatique de Paris-Nord and Institut de Mathématiques de Luminy A.N.R. LOCI
Inferences and Dialogues in Ludics [Slides]

2:30 Ian Pratt-Hartmann, University of Manchester
The Relational Syllogistic [Slides]

3:30 Alex Djalali, Stanford University
Extending a Natural Language Proof Theory: On Ordinary Comparatives [Slides]

4:40 Wren Thornton, Indiana University
Chiastic Lambda-Calculi [Slides]
5:30 Larry Moss, Indiana University
Current Work on Natural Logic [Slides]