![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
NASSLLI ahoy!
15 Jun 2010 02:50 pmSo it looks like I'll be giving a talk at NASSLLI next week. It's a 30min talk, which seems rather short coming from CLSP's hour-long NLP seminars, though apparently it counts as long from a conference timeline. The Midwest Theory Day talks were also half an hour and nobody got much beyond their background material, which seems ludicrous as a means of disseminating new research. Oh well.
The talk is on a new semantic logic for handling constrained free word order in CCG. The logic is based on lambda calculus extended with something like a type system, though the extension is orthogonal to most type systems. Outside of CCG and linguistics, the logic seems like it would be helpful for typing the free ordering of keyword arguments or for capturing certain kinds of staged computation. I'm (re)writing up the paper this summer, so hopefully I'll be able to point y'all at a publication early next year. If you're interested and in the area you should stop by. Lots of other interesting things at NASSLLI this year too.
The talk is on a new semantic logic for handling constrained free word order in CCG. The logic is based on lambda calculus extended with something like a type system, though the extension is orthogonal to most type systems. Outside of CCG and linguistics, the logic seems like it would be helpful for typing the free ordering of keyword arguments or for capturing certain kinds of staged computation. I'm (re)writing up the paper this summer, so hopefully I'll be able to point y'all at a publication early next year. If you're interested and in the area you should stop by. Lots of other interesting things at NASSLLI this year too.
