Closing (HIW 2021)

Sun 22 - Sat 28 August 2021

Track

HIW 2021

Time Zone

The program is currently displayed in (GMT+09:00) Seoul.

Use conference time zone: (GMT+09:00) SeoulSelect 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

Mon 23 Aug 2021 04:14 - 04:17 at HIW - Applications and Closing Chair(s): Edsko de Vries

Time Zone

The program is currently displayed in (GMT+09:00) Seoul.

Use conference time zone: (GMT+09:00) SeoulSelect other time zone

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

Time Band

Display full programSpecify a time band

Save

Session Program

Mon 23 Aug
Displayed time zone: Seoul change

03:30 - 05:00	Applications and ClosingHIW at HIW Chair(s): Edsko de Vries Well-Typed LLP

03:30 22m Talk		Securing Web-Applications with A Refinement Typed ORM HIW Nico Lehmann University of California, San Diego, Rose Kunkel University of California, San Diego, Niki Vazou IMDEA Software Institute, Nadia Polikarpova University of California at San Diego, Deian Stefan University of California at San Diego, USA, Ranjit Jhala University of California at San Diego
03:52 22m Talk		Generics for Hardware: Adding Haskell-inspired Generics to Bluespec HIW Lucas Kramer Google, Ravi Nanavati
04:14 3m Talk		Closing HIW Ningning Xie University of Hong Kong

Closing

Mon 23 Aug
Displayed time zone: Seoul change

Ningning Xie

University of Hong Kong

Tracks

Workshops

Co-hosted Symposia

Closing

Program Display Configuration

Program Display Configuration

Mon 23 AugDisplayed time zone: Seoul change

Ningning Xie

University of Hong Kong

Mon 23 Aug
Displayed time zone: Seoul change