| 9.30 - 9.40 | Opening |
| 9.40 - 10.20 | Alexander Dikovsky. Multimodal categorial dependency grammars |
| 10.20 - 11.00 | Richard Moot. Filtering axiom links for proof nets |
| 11.00 - 11.30 | coffee |
| 11.30 - 12.10 | Michael Moortgat and Mati Pentus. Type similarity for the Lambek-Grishin calculus |
| 12.10 - 12.50 | Makoto Kanazawa and Sylvain Salvati. Generating Control Languages with Abstract Categorial Grammars |
| 12.50 - 14.50 | lunch |
| 14.50 - 15.30 | Erwan Moreau. Identification of Natural Languages in the Limit: Exploring Frontiers of Finite Elasticity for General Combinatory Grammars |
| 15.30 - 16.10 | Marco Kuhlmann and Mathias Möhl. The string-generative capacity of regular dependency languages |
| 16.10 - 16.40 | coffee |
| 16.40 - 17.20 | Miltiadis Kokkonidis. Scoping and Recursive Modification in Type-Logical Lexical Functional Grammar |
| 17.20 - 18.00 | Felix Bildhauer. Prosodic Phrasing in HPSG |
| 20.00 | Conference dinner |