Edinburgh, Scotland

Title and Abstract of Tutorial Lectures

Parsing and generation as Datalog query evaluation

A Rosetta Stone for quantum computing
Quantum algorithms: past, present and future

Descriptive complexity and polynomial time

On inter-deriving semantic artifacts