---------------------------------------------------------------------
Speaker:        Dr. Jerome Simeon
                Bell Laboratories

Title:          "The Essence of XML (Schema)"

Place:          Room 3464
                Phase II (via lift nos. 25/26)
                HKUST

Date:           Monday, 26 August 2002

Time:           10:00 - 11:00am


Abstract:

The World-Wide Web Consortium (W3C) promotes XML and related standards,
including XML Schema, XQuery, and XPath. XML Schema is a very complex
specification which features both named and structural types, with
structure based on tree grammars, several forms of derivations,
'subtagging', etc. Because of its complexity, no complete formal model of
XML Schema has been proposed. As a result, most XML Schema implementations
are not inter-operable. Moreover, this prevents XML Schema to be used as a
type system for XML processing languages, such as XQuery.

In this talk I will present a complete semantics of XML Schema which
captures both the structural and named aspects, all the forms of
derivations, and related features (xsi:nil, xsi:type, etc). Although
complex, this model is complete and tractable. It can be used as the basis
for a fully compliant XML Schema implementation, and is now being used to
statically type XQuery.

This is joint work with Philip Wadler from Avaya Labs.



***************************
Biography:

Dr. Jerome Simeon is a researcher in Bell Labs, a division of Lucent
Technology. He represents Lucent Technology on the W3C XML Query Working
Group. He is an editor of XQuery 1.0, of XPath 2.0 and of the XQuery 1.0
Formal Semantics. He is also interested in XML storage, semantic web and
data integration. He graduated in Ecole Polytechnique and Supelec, and
obtained his Ph.D. degree in Computer Science from Universite d'Orsay.
Between 1995 and 1999, he was a member of the Verso Database Group at
INRIA.


                For enquiry, please call 2358 7008
                        ** All are Welcome **
---------------------------------------------------------------------------