Invited keynote at the 44th International Colloquium on Automata, Languages, and Programming (ICALP):

Monika Henzinger gave a keynote on "Efficient algorithms for graph-related problems in computer-aided verification" at ICALP 2017.