Ryan Williams (MIT)
Prasanna Ramakrishnan (Stanford University)
Slides (PDF)
Martín Costa (University of Warwick)
Slides (PDF)
Divyarthi Mohan (Boston University)
Slides (PDF)
Thomas Steinke (Google DeepMind)
Renato Ferreira Pinto Jr. (University of Waterloo)