Deprecated: Unparenthesized `a ? b : c ? d : e` is deprecated. Use either `(a ? b : c) ? d : e` or `a ? b : (c ? d : e)` in /home/wwwapp/spip/ecrire/inc/utils.php on line 2697
Program - Réunions - Type Dependency, Type Theory with Records, and Natural-Language Flexibility - ANR - LOCI
Accueil > Réunions > Type Dependency, Type Theory with Records, and Natural-Language (...)
WORKSHOP#2

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

16th and 17th of June 2011

Interaction, Media and Communication group

In collaboration with the LOCI project

Queen Mary University of London

Program

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 ?
Site propulsé par l'Atelier du code et du data, chantier d'insertion numérique
  • Présentation
    • Partenaires
    • Membres
    • Positionnement
  • Réunions
    • Réunion de lancement
    • WORKSHOP#1
    • WORKSHOP#2
    • WORKSHOP#3
    • WORKSHOP#4
    • WORKSHOP#5
    • WORKSHOP#6
    • Journée "Musique, dialogue, interaction"
    • The logic of the lexicon
    • LUDICS AND PHILOSOPHY
  • Rapports
  • Axes de travail
    • Lexique
    • Apprentissage
    • Pragmatique
    • Web et ontologie
    • Théorie
  • Contact
    • cliquez sur Contacts (au dessus)
  • Séminaire
    • Séminaire LOCI 06/2013
    • Séminaire LOCI - 07/2013
    • Séminaire LOCI - 09/2013
    • Séminaire LOCI - 10/2013
    • Séminaire LOCI - 11/2013
    • Séminaire LOCI - 01/2014
    • Séminaire LOCI - 02/2014
    • Séminaire LOCI - 04/2014