Home
Scholarship Application
Program
FAQ
Organizers
Sponsors
Home
FAQ
Learn more
Organizers
Program
Scholarship Application
Sponsors
Sitemap
Organizers
Derek Dreyer
(Max Planck Institute for Software Systems)
Aditya Kanade
(Indian Institute of Science)
Ruzica Piskac
(Yale University)
Alan Schmitt
(Inria)
Ross Tate
(Cornell University)