So 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.
no subject
Date: 2010-06-17 01:23 am (UTC)From:For a 30-minute talk, you might be able to avoid the not-getting-beyond-background-material problem by preparing a 15-minute advertisement-style talk and then picking the one most interesting idea in it to flesh out thoroughly. Easier said than done, though! Good luck.
no subject
Date: 2010-06-17 01:33 am (UTC)From:Unfortunately, some of the time will be killed introducing the basics of CCG, even if I ignore all the reasons why regular CCG doesn't do what we want. I'll have to learn how to give 30min talks eventually anyways ...sigh.