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.
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: Sun Jul 13 19:22:53 CEST 2008