Write a Blog >>
Tue 21 Jan 2020 09:10 - 10:10 at Orpheus - Opening & Interactive Knowledge Shares

The program will kick off providing a highly collaborative opportunity for participants to learn the latest–and share their questions and perspectives–on a range of topics including:

*Automation and CI, hosted by Peter O’Hearn

*Mechanically Verified Hardware Systems, hosted by Murali Vijayaraghavan

*Semantics in practice (ARM, RISC-V, C, CHERI, hypervisors, …), hosted by Peter Sewell

*Gillian, a language independent framework that supports compositional symbolic analysis, hosted by Philippa Gardner

Tue 21 Jan (GMT-06:00) Saskatchewan, Central America change

hase-2020-papers
09:00 - 10:00: HASE 2020 - Opening & Interactive Knowledge Shares at Orpheus
hase-2020-papers09:00 - 09:10
Day opening
hase-2020-papers09:10 - 10:10
Tutorial
Peter O'HearnFacebook, Philippa GardnerImperial College London, Muralidaran VijayaraghavanSiFive, Peter SewellUniversity of Cambridge