Write a Blog >>
APLAS 2019
Sun 1 - Wed 4 December 2019 Bali, Indonesia
Sun 1 Dec 2019 14:00 - 14:30 at Bali Room - Session 2

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)