SDKB 2008

The SDKB workshop is co-located with EDBT 2008

The SDKB workshop tries to bring together researchers in the areas of data and knowledge bases who work on aspects of semantics. In particular, the workshop seeks original contributions demonstrating the use of logic, discrete mathematics, combinatorics, domain theory and other mathematical theories of semantics for database and knowledge bases, computational linguistics and semiotics, and information and knowledge-based systems.

Topics of research papers can be (but are not limited to) the following:

* Formal models for data and knowledge bases * Integrity constraints maintenance and dependency theory * Formal Methods for data and knowledge base design * Reasoning about data and knowledge base dynamics * Adaptivity for personalised data and knowledge bases * View-centred data- and knowledge-intensive systems * Information integration in data and knowledge bases * Knowledge discovery in data and knowledge bases * Validation and Verification of data and knowledge base designs * Formal linguistics for data and knowledge bases * Logical and mathematical foundations of semantics * Semantics in data- and knowledge-intensive applications

The SDKB workshop follows the successful "Semantics in Databases" workshops, proceedings of which were published by Springer-Verlag in the LNCS series, volumes 1358 and 2582.

Important Dates:

Registration/submission of papers: December 10/14, 2007 Notification of acceptance:       January 21, 2008 Camera-ready version:	           February 16, 2008 Workshop:                         March 29, 2008 This CfP was obtained from WikiCFP