Program
Wednesday June 29
Note that registration and the talks will take place at the CRDP, that is where the joint conference TALN usually takes place (but the afternoon is off for TALN)
See the map (CRDP = Centre Régional de Documentation Pédagogique, 1 allée Citadelle). We go there walking from the "Place de la Comédie", following the "allée de Lattre de Tassigny" and "allée Missak Manouchian". The CRDP is on the right of the "lycée Joffre"
12:00-14:00
|
Registration
|
|
|
Session chair: Christian Retoré
|
14:00-15:00
|
Invited talk: Tim Fernando
|
Finite State Temporal Semantics
|
15:00-15:20
|
Break
|
|
|
Session chair: Nicholas Asher
|
15:20-15:55
|
Zhaohui Luo |
Contextual Analysis of Word Meanings in Type-Theoretical Semantics
|
15:55-16:30
|
Carl Pollard
|
Are (Linguist's) Propositions Topos Propositions?
|
Cancelled:
|
Robin Cooper
|
Copredication, quantification and frames
|
16:30-16:50
|
Break
|
|
|
Session chair: Philippe de Groote
|
16:50-17:25
|
Arno Bastenhof
|
Polarized Classical Non-associative Lambek Calculus and Formal Semantics
|
17:25-18:00
|
Jeroen Bransen
|
The product-free Lambek-Grishin calculus is NP-complete
|
Thursday June 30
Note that since it is a joint talk for TALN and LACL, Claire Gardent's talk will take place at the CRDP. All the other talks will take place at the Centre Rabelais
See the map (CRDP = Centre Régional de Documentation Pédagogique, 1 allée Citadelle).
| At CRDP |
Session chair: Mathieu Lafourcade
|
08:30--9:30
|
Invited Talk (at the CRDP): Claire Gardent
|
Sentence Generation: Input, Algorithms and Applications
|
09:30-09:50
|
Break
|
|
| At Centre Rabelais |
Session chair: Richard Moot
|
09:50-10:25
|
Thomas Graf
|
Closure Properties of Minimalist Derivation Tree Languages
|
10:25-11:00
|
Makoto Kanazawa, Jens Michaelis, Sylvain Salvati and Ryo Yoshinaka
|
Well-Nestedness Properly Subsumes Strict Derivational Minimalism
|
11:00-11:20
|
Break
|
|
|
Session chair: Sylvain Salvati
|
11:20-11:55
|
Maxime Amblard
|
Encoding Phases using Commutativity and Non-commutativity in a Logical Framework
|
11:55-12:30
|
Gregory Kobele
|
Minimalist Tree Languages are closed under intersection with recognizable tree languages
|
12:30-14:30
|
Lunch
|
|
|
Session chair: Jean-Philippe Prost
|
14:30-15:05
|
Carlos Areces, Santiago Figueira and Daniel Gorin
|
Using Logic in the Generation of Referring Expressions
|
15:05-15:40
|
Sai Qian and Maxime Amblard
|
Event in Compositional Dynamic Semantics
|
15:40-16:15
|
Staffan Larsson
|
Do Dialogues Have Content?
|
16:15-16:35
|
Break
|
|
|
This session is cancelled. Carl Pollard's talk is moved to Wednesday afternoon
|
Cancelled
|
Carl Pollard
|
Are (Linguist's) Propositions Topos Propositions?
|
Cancelled
|
Richard Zuber
|
Some generalised comparative determiners
|
Friday July 1
All talks take place at the Centre Rabelais
|
Session chair: Sylvain Pogodalla
|
09:30-10:05
|
Glyn Morrill
|
Logic Programming of the Displacement Calculus
|
10:05-10:40
|
Yuri Ozaki and Daisuke Bekki
|
Conditional Logic Cb and its Tableau System
|
10:40-11:00
|
Break
|
|
|
Session chair: Isabelle Tellier
|
11:00-11:35
|
Ryo Yoshinaka and Makoto Kanazawa
|
Distributional Learning of Abstract Categorial Grammars
|
11:35-12:10
|
Denis Bechet, Alexandre Dikovsky and Annie Foret
|
On Dispersed and Choice Iteration in Incrementally Learnable Dependency Types
|
12:10-12:45
|
Noémie-Fleur Sandillon-Rezer and Richard Moot
|
Using tree transducers for grammatical inference
|
12:45
|
End of the conference
|
|
