NLCS PROGRAM
Saturday, July 7th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00-10:30 Session 23J: Invited and Contributed
Chair:
Location: Blavatnik Seminar Room 2
| 09:00 | Is compositionality all it's cracked up to be? (abstract) |
| 10:00 | Anti-Unification and Natural Language Processing (abstract)  |
10:30-11:00Coffee Break
11:00-12:30 Session 26K: Contributed papers
Chair:
Location: Blavatnik Seminar Room 2
| 11:00 | Propositional Attitude Operators in Homotopy Type Theory (abstract)  |
| 11:30 | Propositional Forms of Judgemental Interpretations (abstract) |
| 12:00 | Paychecks, Presupposition, and Dependent Types (abstract) |
12:30-14:00Lunch Break
14:00-15:30 Session 28I: Contributed papers
Chair:
Location: Blavatnik Seminar Room 2
| 14:00 | Speakers in vats: simulating model-theoretic alignment with distributional semantics (abstract) |
| 15:00 | Graph Knowledge Representations for SICK (abstract) |
15:30-16:00Coffee Break
16:00-18:00 Session 31K: Contributed talks
Chair:
Location: Blavatnik Seminar Room 2
| 16:00 | Automated Reasoning from Polarized Parse Trees (abstract) |
| 16:30 | Do different syntactic trees yield different logical readings? Some remarks on head variables in typed lambda calculus. (abstract) |
| 17:00 | Automatic test suite generation for PMCFG grammars (abstract) |
| 17:30 | OpenWordNet-PT: Taking Stock (abstract) |
19:45-22:00 Workshops dinner at Balliol College
Workshops dinner at Balliol College. Drinks reception from 7.45pm, to be seated by 8:15 (pre-booking via FLoC registration system required; guests welcome).
Location: Balliol College