Friday, August 5

09:30-10:15 Coffee and Registration
10:15-10:30 Opening

10:30-11:30 invited talk
Mark Steedman
tba

11:30-12:00 
Berthold Crysmann
Underspecification and Neutrality: a Unified Approach to Syncretism

12:00-13:30 Lunch break

13:30-14:00 
Sivan Sabato and Yoad Winter
From Semantic Restrictions To Reciprocal Meanings

14:00-14:30 
Tim Fernando
Events from Temporal Logic to Regular Languages with Branching

14:30-15:00 
Petra Duenges
On the Formal Semantics of Begin and End of States in a Model Theory for Temporal DRT

15:00-15:30 Coffee break

15:30-16:00
Tamas Biro
Simulated Annealing for OT

16:00-16:30 
Alexa Mater and James D. Fix
Finite Presentations of Compact Bilinear Logic and the Identity Problem

16:30-17:00 
Denis Bechet and Annie Foret
On Rigid NL Lambek Grammars Inference from Generalized Functor-Argument Data


Saturday, August 6

10:00-10:30 Coffee

10:30-11:30 Invited talk 
Uwe Moennich
tba

11:30-12:00 
Gregory Kobele and Jens Michaelis
Two Type 0-Variants of Minimalist Grammars

12:00-13:30 Lunch break

13:30-14:00 
Jacek Marciniec
Learnability of Some Classes of Optimal Categorical Grammars

14:00-14:30 
Jens Michaelis
An Additional Observation on Strict Derivational Minimalism

14:30-15:00 
Ralph Debusmann, Denys Duchier and Andreas Rossberg
Modular Grammar Design with Typed Parametric Principles

15:00-15:30 Coffee break

15:30-16:00 
Wiebke Petersen and James Kilbury
What Feature Co-occurrence Restrictions have to do with Type Signatures

16:00-16:30 
Ron Artstein and Massimo Poesio
Bias Decreases in Proportion to the Number of Annotators

20:00-
Banquet

Sunday, August 7

10:00-10:30 Coffee

10:30-11:00 
Hans Leiss
The Proper Treatment of Coordination in Peirce Grammar

11:00-11:30 
Alessandro Mazzei, Vincenzo Lombardo and Patrick Sturt
Strong Connectivity Hypothesis and Generative Power in TAG

11:30-12:00 Business meeting

12:00-13:30 Lunch break

13:30-14:00 
Hans-Joerg Tiede
Inessential Features, Ineliminable Features and Modal Logics for Model Theoretic Syntax

14:00-14:30 
Manuel Bodirsky, Marco Kuhlmann and Mathias Moehl
Well-Nested Drawings as Models of Syntactic Structure

14:30-15:00 
Rui Pedro Chaves
A Linearization-based Approach to Gapping

15:00-15:30 Coffee break

15:30-16:00 
Carlos Martin-Vide and Victor Mitrana
Further Properties of Path-Controlled Grammars

16:00-16:30
Willemijn Vermaat 
Scope Marking Constructions in Type-Logical Grammar 

16:30-17:30 Invited talk
Nicholas Asher
tba