Wednesday, June 18
9:00 - 10:00 | Registration |
10:00 - 11:00 | Continuations and derivational ambiguity (Invited talk) |
11:00 - 11:20 | Coffee Break |
11:20 - 12:00 | An ACG View on G-TAG and Its g-Derivation |
12:00 - 14:00 | Lunch (at IRIT Cafeteria) |
14:00 - 14:40 | Late Merge as Lowering Movement in Minimalist Grammars |
14:40 - 15:20. | Pseudogapping as Pseudo-VP Ellipsis |
15:20 - 15:40 | Coffee break |
15:40 - 16:20 | The Granularity of Meaning in Proof-Theoretic Semantics |
16:20 - 17:00 | Generalising Predicate and Argument Invariance |
Thursday, June 19
09:30 – 10:10 | Representing Anaphora with Dependent Types |
10:10 - 10:30 | Coffee |
10:30 - 11:10 | An Algebraic Approach to Multiple Context-Free Grammars |
11:10 - 11:50 | An Interpretation of Full Lambek Calculus in Its Variant without Empty Antecedents of Sequents |
11:50 - 13:30 | Lunch |
13:30 - 14:30 | Combining Frame Semantics and Phrasal Semantics: A Proposal (Invited Talk) |
14:30 - 15:10 | Semantically Inactive Multiplicatives and Words as Types |
15:10 - 15:30 | Coffee break |
15:30 - 17:30 | Discussion on LACL topic and its evolution |
18:00 | Cocktail at IRIT |
20:00 | Gala Dinner |
Friday, June 20
10:00 - 11:00 | Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic, or Both? (Invited talk) |
11:00 - 11:20 | Coffee Break |
11:20 - 12:00 | Adverbs in a Modern Type Theory |
12:00 - 12:40 | Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories |
12:40 - 14:20 | Lunch (at IRIT Cafeteria) |
14:20 – 15:00 | On Harmonic CCG and Pregroup Grammars |
14:00 - 15:40 | Building PMCFG Parsers as Datalog Program Transformations |
15:40 - 16:00 | Coffee break and closing |