Sponsored by The European Foundation for Logic, Language and Information (FoLLI). Publications and preprints.