Interactive Knowledge Shares (HASE 2020 - Workshop on High Assurance Systems Engineering)

Write a Blog >>

Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States

Who

Peter O'Hearn, Philippa Gardner, Muralidaran Vijayaraghavan, Peter Sewell

Track

HASE 2020

Time Zone

The program is currently displayed in (GMT-06:00) Saskatchewan, Central America.

Use conference time zone: (GMT-06:00) Saskatchewan, Central AmericaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Tue 21 Jan 2020 09:10 - 10:10 at Orpheus - Opening & Interactive Knowledge Shares

Abstract

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

Peter O'Hearn

Facebook

Philippa Gardner

Imperial College London

United Kingdom

Muralidaran Vijayaraghavan

SiFive

Peter Sewell

University of Cambridge