CANCELED:TALK: Interactive Proof Assistants for Verification
Ian Blumenfeld from Two Six Labs
Friday, November 1, 2019 · 12 - 1 PM
(Canceled)
The UMBC Cyber Defense Lab Presents:
Interactive Proof Assistants for Verification
Ian Blumenfeld, Two Six Labs
12noon-1pm Friday, 1 November 2019, ITE 227