LACL 2014

Logical Aspects of Computational Linguistics

IRIT, Toulouse, France, 18-20 June 2014.

With institutional and/or financial support by:

Logo IRIT

Wednesday, June 18

9:00 - 10:00Registration
10:00 - 11:00Continuations and derivational ambiguity (Invited talk) Michael Moortgat
11:00 - 11:20Coffee Break
11:20 - 12:00An ACG View on G-TAG and Its g-Derivation Laurence Danlos, Aleksandre Maskharashvili, and Sylvain Pogodalla
12:00 - 14:00Lunch (at IRIT Cafeteria)
14:00 - 14:40Late Merge as Lowering Movement in Minimalist Grammars Thomas Graf
14:40 - 15:20.Pseudogapping as Pseudo-VP Ellipsis Yusuke Kubota and Robert Levine
15:20 - 15:40Coffee break
15:40 - 16:20The Granularity of Meaning in Proof-Theoretic Semantics Nissim Francez
16:20 - 17:00Generalising Predicate and Argument Invariance Richard Zuber

Thursday, June 19

09:30 – 10:10Representing Anaphora with Dependent Types Daisuke Bekki
10:10 - 10:30Coffee
10:30 - 11:10An Algebraic Approach to Multiple Context-Free Grammars Alexander Clark and Ryo Yoshinaka
11:10 - 11:50An Interpretation of Full Lambek Calculus in Its Variant without Empty Antecedents of Sequents Wojciech Buszkowski
11:50 - 13:30Lunch
13:30 - 14:30Combining Frame Semantics and Phrasal Semantics: A Proposal (Invited Talk) Reinhard Muskens
14:30 - 15:10Semantically Inactive Multiplicatives and Words as Types Glyn Morrill and Oriol Valentìn
15:10 - 15:30Coffee break
15:30 - 17:30Discussion on LACL topic and its evolution
18:00Cocktail at IRIT
20:00Gala Dinner

Friday, June 20

10:00 - 11:00Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic, or Both? (Invited talk) Zhaohui Luo
11:00 - 11:20Coffee Break
11:20 - 12:00Adverbs in a Modern Type Theory Stergios Chatzikyriakidis
12:00 - 12:40Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories Georgiana E. Lungu and Zhaohui Luo
12:40 - 14:20Lunch (at IRIT Cafeteria)
14:20 – 15:00On Harmonic CCG and Pregroup Grammars Annie Foret
14:00 - 15:40Building PMCFG Parsers as Datalog Program Transformations Arthur Ball, Pierre Bourreau, Émeric Kien, and Sylvain Salvati
15:40 - 16:00Coffee break and closing