## SLIDES FOR SOME
RECENT (AND SOME
NOT SO RECENT) TALKS

This page gives a collection of slides for some recent (and some not
so recent) invited talks
and conference presentations I've given. These slides have designed to
complement one of my papers and my verbal presentation itself, so they
are not really stand-alone.

### SIGNES TEAM
PRESENTATIONS 2010/2011

The presentations at the SIGNES team group are slightly more detailed
and didactic (at least I hope!) than workshop presentations.

Moot, R. (2011), `Verbs and Times'. A short introduction to aspect,
based on Vendler's (1957) classic article, but with reference to a
number of influential later articles (Slides).

Moot, R. (2011), `Logic and Topology'. A short introduction to logic
and topology, notable the logic S4_{u}, in link with modeling
and reasoning related to the Itipy project (Slides).

Moot, R. (2010), `French Grammar Extraction'. A two-part presentation
describing my work on extracting the type-logical French treebank (Slides of Part I, Slides
of Part II).

### AIX-EN-PROVENCE 2011

A talk I gave when invitited at the Laboratiore Parole et Langage at
Aix-en-Provence, at 19 January 2011. I talk about my grammar
extraction and my implementation of presuppositions in the style of
Bos e.a. (2004) and Kamp (2001), (my Slides).
### CAULD 2010, NANCY

A talk (and demo) I gave when invited for the final CauLD workshop,
13-14 Decembre in Nancy (Slides), talking
about POS-tagging, supertagging and wide-coverage semantics for French.
### TALN 2010, MONTREAL

These slides are from my "booster" and demo presentation at the TALN
2010 conference from 19 to 23 July in Montreal, Canada. They describe the extraction and evaluation of
a type-logical treebank for French, as well as its use for
wide-coverage semantics (Extraction Slides, Demo Slides).

## Some older slides and talks

### BARCELONA 2005

These slides are of an invited talk given 18 November 2005 in Barcelona. It
presents my work on corpus extraction and wide-coverage analysis with
type-logical grammars, combining Grail
with my set of corpus tools.
Note however,
that thanks to a more refined corpus extraction and more sophisticated
tools I've developed, the supertagging performance has increased
considerably since that talk.

Moot, R. (2005), `Wide-Coverage Parsing With Type-Logical Grammars'
(Slides)

### DUBLIN 2007

This presentation gives an overview of the different filtering strategies
used by Grail and an evaluation of these strategies with a set of
randomly generated sequents.
Moot, R. (2007), `Filtering Axiom Links' (Slides).

### UTRECHT 2007

These slides are of a talk given on 7 July 2007 in Utrecht at a
workshop organized in honour of Matteo Capelletti's PhD defense later
that day. It gives an overview the ideas of my tech report `Proof Nets
for Display Logic' and is the first time I linked the Lambek-Grishin
calculus with tree adjoining grammars.
Moot, R. (2007), `Proof Nets for Display Logic' (Slides, Tech
Report).

### PAUILLAC 2007

This is a presentation on the occasion of Alain Lecomte's 60th
birthday, which we celebrated 2 and 3 November 2007 in Pauillac. It
links proof nets for the multimodal Lambek calculus to Ed Stabler's
interpretation of Chomsky's minimalist grammar. It is an attempt to
reconcile the work of Vermaat and the work of Amblard, Lecomte and
Retoré who offer different ways of embedding minimalist
grammars into categorial grammars.
Moot, R. (2007), `Proof Nets and Minimalism' (Slides)

### PRÉLUDE 2008

These slides explain proof nets for the Lambek-Grishin calculus to the
participant of the ANR Blanc `Prélude' meeting on 16 January
2008 in Paris. The resemble my Utrecht 2007 presentation above, but
are more intended for a linear logic audience, focussing more on the
LG proof nets and giving more examples of the linguistic applications.
Moot, R. (2008), `Proof Nets for LG' (Slides).

### MÉTHODES FORMELLES 2008

These slides are for a talk I gave 13 May 2008 for my research team `Méthodes
Formelles' a Bordeaux. It is similar to the TAG+ presentation below,
but has less detail about tree adjoining grammars and more technical
details about the hyperedge replacement grammar for type-logical proof
nets.
Moot, R. (2008), `Type-Logical and Hyperedge Replacement Grammars' (Slides).

### TAG+ 2008 TÜBINGEN

I presented my work relating type-logical grammars to tree adjoining
grammars and hyperedge replacement grammars here on 7 June 2008. It is less technical
than my Bordeaux presentation above and it sketches the normal form
proof for tree adjoining grammars.
Moot, R. (2008), `Lambek Grammars, Tree Adjoining Grammars and
Hyperedge Replacement Grammars', Presentation at TAG+2008, The Ninth
International Conference on Tree Adjoining Grammars and Related
Formalisms, 7-8 June 2008, Tübingen (Slides ,Proceedings Paper).

### 50 YEARS OF THE SYNTACTIC
CALCULUS, CHIETI

To celebrate the 50th anniversary of Lambek's `On the Calculus of
Syntactic Types', Claudia Casadia organized a workshop in honour of
Lambek in Chieti/Pescara. Several researchers were invited to present
recent developments related to the Syntactic Calculus. I presented a
longer version of my TAG+ talk, focussing more on Lambek grammars
and the implications of my result for parsing, illustrated by several
examples.
Moot, R. (2008), `Lambek Grammars and Hyperedge Replacement Grammars',
invited talk at Fifty Years of the Syntactic Calculus, 10-11 July
2008, Chieti (Slides).

Richard.Moot@labri.fr
Last modified: Fri Mar 18 01:27:33 CET 2011