From Scripting to Proving: Gradual Verification for Expressive Programming Languages

Time and Location:

March 11, 2019 at 2PM; 60 Fifth Avenue, Room TBA,

Speaker:

David Van Horn, University of Maryland