Editor for this issue: Scott Fults <scott
linguistlist.org>
6th International Workshop on KNOWLEDGE REPRESENTATION MEETS DATABASES (KRDB'99) Linkoeping (Sweden) July 29-30, 1999 CALL FOR PARTICIPATION The 6th International KRDB Workshop continues the tradition of annual international workshops devoted to facilitate cross-fertilization between the fields of knowledge representation (KR) and databases (DB), started in 1994. KRDB'99 is an affiliate event with IJCAI'99 (Stockholm, 3-6 August 1999), and the International Workshop on Description Logics (DL'99, Linkoeping, July 30 - August 1 1999). ------------------------------------------------------------------------ INVITED SPEAKERS - MOSHE VARDI (Rice University, TX, USA): Model Checking and Finite Model Theory in the different contexts of Computational Logics, Knowledge Representation, and Database Theory. - RAY REITER (University of Toronto, Canada): Modelling Transactions for Incomplete Relational Databases. - NATASHA ALECHINA (University of Nottingham, UK): Tutorial on (Modal) Logics for Semi-Structured Data. ------------------------------------------------------------------------ INFORMATION For detailed information on program, registration and accommodation check the web page of the workshop at: < http://www.cs.man.ac.uk/img/krdb99/ >. Early bird registration deadline: June 15. ------------------------------------------------------------------------ Workshop Chairs Enrico Franconi University of Manchester, UK < franconiMail to author|Respond to list|Read more issues|LINGUIST home page|Top of issuecs.man.ac.uk > Michael Kifer University at Stony Brook, USA < kifer
cs.sunysb.edu > Program Committee Elisa Bertino, University of Milano, Italy Anthony Bonner, University of Toronto, Canada Alex Borgida, Rutgers University, USA Mokrane Bouzeghoub, INRIA-Rocquencourt, France Jan Van den Bussche, University of Limburg, Belgium Diego Calvanese, University of Rome 'La Sapienza', Italy Vinay Chaudhri, SRI International, USA Jan Chomicki, Monmouth University, USA Rick Hull, Lucent Technologies, USA Mathias Jarke, Aachen University of Technology, Germany Georg Lausen, University of Freiburg, Germany John Mylopoulos, University of Toronto, Canada Werner Nutt, DFKI, Germany Luigi Palopoli, University of Calabria, Italy Local Chair Patrick Lambrix, Linkoeping University, Sweden < patla
ida.liu.se > Executive Committee Franz Baader, Aachen University of Technology, Germany Manfred Jeusfeld, KUB Tilburg, The Netherlands Werner Nutt, DFKI, Germany