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