Lab Lunch: 9 April 2019 - Colin Stirling

Title: Equivalence of Pushdown Automata

Abstract:

A talk prompted by a recent result (accepted last week for LICS 2019) by Jancar and Schmitz. Informal talk with some background and history.