Word Equations with Length Constraints and Presburger Arithmetic with Divisibility (APLAS 2019 - The 5th Workshop on New Ideas and Emerging Results in Programming Languages and Systems) - APLAS 2019

Write a Blog >>

Sun 1 - Wed 4 December 2019 Bali, Indonesia

Who

Anthony Widjaja Lin, Rupak Majumdar

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

When

Sun 1 Dec 2019 14:30 - 15:00 at Bali Room - Session 2

Anthony Widjaja Lin

Technische Universität Kaiserslautern

Germany

Rupak Majumdar

Max Planck Institute for Software Systems (MPI-SWS)

Germany

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

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)