Type Dependency, Type Theory with Records, and Natural-Language Flexibility

Thursday, the 16th of March

• 09:30 : Aarne Ranta. Machine Translation, Type Theory, Dependent Types.

• 10:20 : Alain Lecomte. Paraproofs as meanings.

• Coffee (30 min)

• 11:30 : Robin Cooper. Dependent types in TTR.

• 12:20 : Myriam Quatrini & Eugenia Sironi. Records in Ludics.

• Lunch (1 hour)

• 14:00 : Graham White. Linearity, Non-Linearity and E-Type Phenomena.

• 14:40 : Jonathan Ginzburg. Integrating multimodality into a type theoretic model of learning in dialogue.

• 15:30 : Wilfried Meyer-Viol. Linguistic interpretations of records and dependent types.

• Tea (30 min)
• 16:40 : Christophe Fouqueré. Coherence Use in Natural Language.

• 17:20 : Samuel Tronçon. On concepts and how they evolve.

• 19:00 : Dinner.

Friday, the 17th of June

• 09:30 : Mehrnoosh Sadrzadeh. Theory and Practice of a Categorical Compositional Distributional Model of Meaning.

• 10:10 : Shalom Lappin. Type Theory and Distributional Models of Meaning.

• Coffee (20 min)
• 11:10 : Zhaohui Luo. Type-theoretical semantics with coercive subtyping.

• 11:50 : Glyn Morrill. CatLog and categorial parser/theorem proving.

• Lunch (1 hour)
• 13:30 : Peter Ljunglöf. Editing Syntax Trees on the Surface.

• Alex Clark. Residuated lattices in syntactic description.
• 14:10 Ellen Breitholtz.Enthymemes and Lexical Interpretation.
• 14:50 Tea (30 min)
• 16:00 : Staffan Larsson. Perceptual types.
• 16:40 : Tim Fernando. Beneath types and proofs ?