Calendar of the workshop[.ics]

Program

Wednesday December the 7th, 2011

08:45 - 09:00Opening
09:00 - 10:00Philippe de Groote, Abstract Categorial Grammars: Introduction and Motivations
10:00 - 10:15Coffee break
10:15 - 11:15Makoto Kanazawa, Generation as Intersection and Datalog
11:15 - 11:30Coffee break
11:30 - 12:30Ryo Yoshinaka, Distributional learning of second order ACGs
12:30 - 14:00Lunch break
14:00 - 15:00Sylvain Salvati, On the membership problem of ACGs and of some extensions
15:00 - 15:15Coffee break
15:15 - 16:15Pierre Bourreau, Coherence theorems in intuitionistic logic
16:15 - 16:30Coffee break
16:30 - 17:30Florent Pompigne, Type-theoretic extensions of ACG : properties and applications

Thursday December the 8th, 2011

09:00 - 10:00Philippe de Groote, Logical relation and conservative extensions of Montague semantics
10:00 - 10:15Coffee break
10:15 - 11:15Ekaterina Lebedeva, Higher order continuation-based dynamic logic
11:15 - 11:30Coffee break
11:30 - 12:30Sylvain Pogodalla, Structuring the Context: a Continuation Based Account of Modal Subordination
12:30 - 14:30Lunch break
14:30 - 15:30Michael Moortgat, Compositional mappings
15:30 - 15:45Coffee break
15:45 - 16:45Yoad Winter, Events in Purely Semantic Slots: On Quantifier Scope and Argument Structure in ACG
16:45 - 17:00Coffee break
17:00 - 17:30Open discussion
20:00Workshop dinner (direction)

Friday December the 9th, 2011

09:00 - 10:00Zhaohui Luo, Type-theoretical semantics with coercive subtyping
10:00 - 10:15Coffee break
10:15 - 11:15Gregory M. Kobele, Jens Michaelis, Derivational order and ACGs
11:15 - 11:30Coffee break
11:30 - 12:30Carl Pollard, John is easy to please: GB theory's empty categories in a Linear Grammar