Yannis Smaragdakis, University of Oregon, USA
Jonathan Ostroff, York University, Canada
Yuri Gurevich, Microsoft research, USA
