Statement

Tronçon Samuel — 2011-10-21T11:50:00Z

There has recently been a surge of interest in the use of rich type systems (with, variously, record types, subtyping, and/or dependent intersections) in order to express various linguistic phenomena at various levels : subsententially there are applications to lexical semantics, sententially one sees accounts of syntax, and in the realm of which is traditionally called pragmatics one finds accounts of dialogue that are markedly more subtle than the usual pragmatic treatment. Something is surely being done right.

Questions, however, remain. Scope, and other syntactic issues, still seem to be quite tricky, and the complexity of the type systems that are being used makes it difficult to say whether the difficulties are problems in principle or merely problems of implementation. The question of the semantics of these systems — that is, semantics in the everyday sense, rather than semantics in the sense of model theory — remains largely unexamined, and the field remains quite open : it is not clear whether we need a semantics in the traditional sense (possibly enriched with vector spaces or the like), or whether proof theory might not be a more suitable way of connecting these formalisms to the observed phenomena of linguistics. Proof theory seems, prima facie, to be more philosophically appealing, but at the cost of greater technical difficulty. Finally, there is the question of how these approaches are connected with more algebraic approaches to syntax, which also have their appeal.

All of these considerations, furthermore, are quite high level, and do not lead directly to concrete models of language or language processing. Girard's theory of ludics has also enjoyed considerable interest, not least because it is a theory which seems to be descriptively very capable but whose foundations are very simple and very low-level. It could, then, either illuminate or short-circuit many of the above quarrels.

This workshop will explore these problems in some depth, endeavouring to respect both the technical issues and the empirical reality of linguistics : we have assembled a group of speakers of a variety of backgrounds but all of them with something to say to each other.

Program

2011-10-21T11:57:47Z

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 ?

ANR - LOCI

Statement

Program