LACL 2012

Logical Aspects of Computational Linguistics


Monday, July 2

8:30-9:30 Registration
9:30-9:45 Opening
9:45-10:45 Invited talk: Mark Steedman The Statistical Problem of Child Language Acquisition
10:45-11:15 Break

Session chair: Denis Béchet
11:15-11:45 Thomas Graf Movement-Generalized Minimalist Grammars
11:45-12:15 Gregory M. Kobele and Jens Michaelis CoTAGs and ACGs
12:30-14:00 Lunch

Session chair: Annie Foret
14:00-14:30 Tao Xue and Zhaohui Luo Dot-types and Their Implementation
14:30-15:00 Nicholas Asher The non cooperative basis of implicatures
15:00-15:30 Kurt Ranalter Abstract machines for argumentation
15:30-16:00 Break

Session chair: Richard Moot
16:00-16:30 Stepan Kuznetsov L-completeness of the Lambek Calculus with the Reversal Operation
16:30-17:00 Alexey Sorokin On the Completeness of Lambek Calculus with Respect to Cofinite Language Models
17:15-18:30 Reception

Tuesday, July 3

Session chair: Nicholas Asher
09:00-9:45 Tutorial Part I : Christophe Fouquere and Myriam Quatrini Ludics and Natural Language: First Approaches
9:45-10:15 Gregory M. Kobele Importing Montagovian Dynamics into Minimalism
10:15-10:45 Break

Session chair: Anne Preller
10:45-11:15 Yuri Ishishita and Daisuke Bekki Toward the formulation of presupposition by Illative Combinatory Logic
11:15-11:45 Zhaohui Luo Common Nouns as Types
11:45-12:15 Andrew Plummer and Carl Pollard Agnostic Possible Worlds Semantics
12:30-14:00 Lunch

Session chair: Mark Steedman
14:00-15:00 Tutorial Part II : Christophe Fouquere and Myriam Quatrini Ludics and Natural Language: First Approaches
15:00-15:30 Zhe Lin Distributive Full Nonassociative Lambek Calculus with S4-modalities is Context-free
16:45-18:00 Excursion The Machines de l'Ile
19:00 Gala Dinner O Deck Restaurant

Wednesday, July 4

10:00-11:00 Invited talk: Alexander Clark Logical Grammars, Logical Theories

Demo session chair: Gregory Kobele
11:00-11:15 Denys Duchier, Yannick Parmentier and Simon Petitjean Metagrammars As Logic Programs
11:15-11:30 Annie Foret and Sébastien Ferré On Categorial Grammars and Logical Information Systems : using CAMELIS with linguistic data
11:30-11:45 Glyn Morrill CatLog: A Categorial Parser/Theorem-Prover
11:45-12:00 Richard Moot Categorial grammars and wide-coverage semantics with Grail
12:00-12:15 Noémie-Fleur Sandillon-Rezer Ygg, parsing French text using AB grammars
12:30-14:00 Lunch

Session chair: Glyn Morrill
14:00-14:30 Hiroko Ozaki and Daisuke Bekki Extractability as the Deduction Theorem in Subdirectional Combinatory Logic
14:30-15:00 Yusuke Kubota and Robert Levine Gapping as like-category coordination
15:00-15:30 Boris Karlov Abstract Automata and a Normal Form for Categorial Dependency Grammars
15:30-17:00 Demos / Coffee Break
17:00 Conference closure

Last modification: 2012-06-30
Online user: 1