Invited Speakers

Colin Stirling (Edinburgh) DPDA equivalence and harder problems.