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
Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change

13:30 - 15:00: Session 2APLAS NIER at Bali Room
13:30 - 14:00
Talk
On Probabilistic Process
APLAS NIER
Yuxi FuShanghai Jiao Tong University, China
14:00 - 14:30
Talk
On Decidable Subtyping for Path Dependent Types
APLAS NIER
Julian MackayVictoria University of Wellington, Yu Xiang ZhuCarnegie Mellon University, Alex PotaninVictoria University of Wellington, Jonathan AldrichCarnegie Mellon University, Lindsay GrovesVictoria University of Wellington
14:30 - 15:00
Talk
Word Equations with Length Constraints and Presburger Arithmetic with Divisibility
APLAS NIER
Anthony Widjaja LinTechnische Universität Kaiserslautern, Rupak MajumdarMax Planck Institute for Software Systems (MPI-SWS)