Topics of current interest include semistructured data and XML, data integration, novel approaches to query processing and storage, data provenance, archiving and annotation.
School of Informatics. A community of theoretical computer scientists with interests in concurrency, semantics, categories, algebra, types, logic and complexity.