Proceedings symposium on differentiation lsp by