#pldi-mon-0900-opening-royal
#pldi-mon-1340-verification-royal
#pldi-mon-1600-ml-royal
#pldi-tue-0900-synthesis-royal
#pldi-tue-1340-probabilistic-royal
#pldi-wed-0900-testing-royal
#pldi-wed-1340-types-royal
#pldi-wed-1600-hardware-royal