Steven Awodey Lars Birkedal Edmund M. Clarke Martín Hötzel Escardó Iztok Kavkler Michael W. Mislove Marko Petkovsek Dana S. Scott Alex K. Simpson Christopher A. Stone Paul Taylor Xudong Zhao