3:30 - 4:30

Amy Felty (University of Ottawa)

Reasoning with Higher-Order Abstract Syntax in Hybrid and Related Systems (Invited Talk)