Outline
Mike Dean
background
recent work
Richard Fikes
DAML Query Language
Mike Dean
2 of 7