Organizers Wenlong Huang Stanford Jiayuan Mao MIT Michael Katz IBM Research Sarath Sreedharan Colorado State University Subbarao Kambhampati Arizona State University