A Verified Garbage Collector for Gallina (APLAS 2019 - The 5th Workshop on New Ideas and Emerging Results in Programming Languages and Systems)

Write a Blog >>

Sun 1 - Wed 4 December 2019 Bali, Indonesia

Who

Shengyi Wang, Anshuman Mohan, Qinxiang Cao, Aquinas Hobor

Track

APLAS 2019 APLAS NIER

Time Zone

The program is currently displayed in (GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi.

Use conference time zone: (GMT+08:00) Beijing, Chongqing, Hong Kong, UrumqiSelect 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

Sun 1 Dec 2019 11:00 - 11:30 at Bali Room - Session 1

Shengyi Wang

Anshuman Mohan

National University of Singapore

Singapore

Qinxiang Cao

Shanghai Jiao Tong University

China

Aquinas Hobor

National University of Singapore, Singapore