29-30 October 2009
Roskilde, Denmark
International Workshop on Logic in Databases Roskilde University, Denmark, 29-30 October 2009 http://LID2009.ruc.dk CALL FOR PAPERS - submission deadline July 1, 2009 Ever since Codd's Relational Model, logic has played a major role in the field of databases. The significance and impact of this role have grown stronger over the years as data management research marched through many a data model, with logic keeping up and providing the foundations every step of the way. Some of the latest additions to this long list of models are XML, semantic web, probabilistic relational models, integrated model of DB+IR, data integration models, and models of unclean data to name a few. For some of these, corresponding logics already exist or are being explored. The significance of logic's role for data management will continue regardless of the data model. Logic is a fundamental tool for understanding and analyzing several aspects of data management. The Logic in Databases workshop, LID 2009, is a forum for bringing together researchers from around the world who are focusing on all logical aspects of data management. The present LID workshop series started with LID'08 in Rome as the confluence of three successful events series which had a strong overlap in interests. LID'96, an international workshop on Logic in Databases, which LID 2008 derives its name from LAAIC'05 and LAAIC'06, international workshops on Logical Aspects and Applications of Integrity Constraints IIDB'06, an international workshop on Inconsistency and Incompleteness in Databases The workshop will be focused on applications of logic to every aspect of database management and related topics. Topics of interest include but are not limited to the following, as they pertain to logic in databases: consistent query answering data exchange data mining data warehousing and OLAP for novel forms of data database repairing DB + IR incomplete information inconsistency tolerance inductive databases knowledge discovery logical approaches to inconsistency logic programming nonmonotonic reasoning ordered data/query models (top-K) privacy/security semantic web social networks uncertain data (fuzzy, probabilistic, etc.) and imprecision LID 2009 will have informal proceedings; details about the proceedings are found at http://LID2009.ruc.dk/Procs.html. Each submission will be reviewed by an international program committee; see listing below. Submissions must include original and previously unpublished results. A volume at an international publisher or a special journal issue will be considered for selected and revised papers, if number and quality of submissions permit. Submission deadline is submission deadline July 1, 2009; see details at http://LID2009.ruc.dk The workshop will take place in the historical city of Roskilde, Denmark - city of vikings and kings, the fjord, the little harbour, etc. - on 29-30 October 2009. LID is co-located with FQAS 2009 that takes place the days up to LID, 26-28 October 2009. PROGRAM COMMITTEE Foto Afrati (Th. U. Athens) Pablo Barcel (U. de Chile) Leopoldo Bertossi (Carleton University) (Co-chair) Alexander Borgida (Rutgers U.) Loreto Bravo (U. Concepcion) Henning Christiansen (Roskilde University) (Co-chair) Marc Denecker (K.U. Leuven) Wenfei Fan (University of Edinburgh) Floris Geerts (U. Edinburgh) Bart Kuijpers (Hasselt U.) Georg Lausen (Universitt Freiburg) Sebastian Link (University of Wellington) Maarten Marx (U. Amsterdam) Riccardo Rosati (U. Roma) Marie-Christine Rousset (U. Grenoble) Francesco Scarcello (U. Calabria) Dan Suciu (University of Washington) Val Tannen (U. Pennsylvania) David Toman (U. Waterloo) Jef Wijsen (Universit de Mons-Hainaut) Peter Wood (Birbeck College)