Invited Speakers
Colin Stirling
(Edinburgh)
DPDA equivalence and harder problems.