Developing programs and proofs in various domain-specific languages embedded in the F* proof assistant: low-level assembly programs, parsers, cryptographic libraries, and concurrent programs with concurrent separation logic.
Wed 17 JunDisplayed time zone: Pacific Time (US & Canada) change
Wed 17 Jun
Displayed time zone: Pacific Time (US & Canada) change
06:00 - 07:00
|Verified Programming with Project Everest|