| Time | |
| 9:00 - 9:30 | Registration and Opening |
| 9:30 - 10:15 | Constituent Structure Sets: Dirk Bury and Hiroyuki Uchida |
| 10:15 - 11:00 | Relational Semantics for the Lambek-Grishin Calculus: Natasha Kurtonina and Michael Moortgat |
| 11:00 - 11:15 | Coffee Break |
| 11:15 - 12:00 | LC Graphs for the Lambek Calculus with Product: Timothy Fowler |
| 12:00 - 1:00 | Invited Talk: The Computational Nature of Language Learning and Evolution, Partha Niyogi |
| 1:00 - 2:30 | Lunch Break |
| 2:30 - 3:15 | Proof-Theoretic Semantics for a Natural Language Fragment: Nissim Francez and Roy Dyckhoff |
| 3:15 - 4:00 | Aural Pattern Recognition Experiments and the Subregular Hierarchy: Geoffrey Pullum and Jim Rogers |
| IN HONOUR OF ED KEENAN | |
| 4:00 - 5:00 | Invited Talk: Natural Logic and Semantics, Larry Moss |
| 5:00 - 6:00 | Invited Talk: Contrariety vs.Post-complement, Dag Westerståhl |
| 6:00 - 8:00 | Reception |
| Time | |
| 10:45 - 11:30 | Deforesting LF: John Hale |
| 11:45 - 12:30 | A Formal Foundation for A and A-bar Movement: Greg Kobele |
| 12:30 - 2:00 | Lunch Break |
| 50 YEARS OF "SYNTACTIC STRUCTURES" | |
| 2:00 - 3:00 | Invited Talk: Creation Myths of Generative Grammar, and the Mathematics Underlying Syntactic Structures, Geoffrey Pullum |
| 3:00 - 4:00 | Invited Talk: Syntactic Structures and Recursive Devices: The Perils of Imprecision, Marcus Tomalin |
| 4:00 - 4:30 | Coffee Break |
| 4:30 - 5:15 | Probabilistic Grammars and Languages: András Kornai |
| 5:15 - 6:00 | A Stochastic Model of Language Change through Social Structure and Prediction-driven Instability: Garrett Mitchener |
| Time | |
| 9:30 - 10:15 | The Equivalence of Tree Adjoining Grammars and Monadic Linear Context-Free Tree Grammars: Stephan Kepser and James Rogers |
| 10:15 - 11:00 | On the Complexity of Abstract Categorial Grammars: Sylvain Salvati |
| 11:00 - 11:15 | Coffee Break |
| 11:15 - 12:00 | Lexicalized Non-local MCTAG with Dominance Links is NP-complete: Lucas Champollion |
| 12:00 - 1:00 | Invited Talk: Capturing Practical Natural Language Transformations, Kevin Knight |
| 1:00 - 1:15 | Closing |