On Decidable Subtyping for Path Dependent Types (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

Julian Mackay, Yu Xiang Zhu, Alex Potanin, Jonathan Aldrich, Lindsay Groves

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 14:00 - 14:30 at Bali Room - Session 2

Julian Mackay

Victoria University of Wellington

New Zealand

Yu Xiang Zhu

Carnegie Mellon University

United States

Alex Potanin

Victoria University of Wellington

New Zealand

Jonathan Aldrich

Carnegie Mellon University

United States

Lindsay Groves

Victoria University of Wellington

New Zealand

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

Display full programSpecify a time band

Save

Session Program

Sun 1 Dec
Displayed time zone: Beijing, Chongqing, Hong Kong, Urumqi change

13:30 - 15:00	Session 2APLAS NIER at Bali Room

13:30 30m Talk		On Probabilistic Process APLAS NIER Yuxi Fu Shanghai Jiao Tong University, China
14:00 30m Talk		On Decidable Subtyping for Path Dependent Types APLAS NIER Julian Mackay Victoria University of Wellington, Yu Xiang Zhu Carnegie Mellon University, Alex Potanin Victoria University of Wellington, Jonathan Aldrich Carnegie Mellon University, Lindsay Groves Victoria University of Wellington
14:30 30m Talk		Word Equations with Length Constraints and Presburger Arithmetic with Divisibility APLAS NIER Anthony Widjaja Lin Technische Universität Kaiserslautern, Rupak Majumdar Max Planck Institute for Software Systems (MPI-SWS)