Accueil > Réunions > Program

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?
WORKSHOP#2
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