## CANCELED:TALK: Interactive Proof Assistants for Verification

#### Ian Blumenfeld from Two Six Labs

Friday, November 1, 2019 · Noon - 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