Keynote Speakers

Avrim Blum, Carnegie-Mellon University

Title: To Be Announced

Michal Feldman, Hebrew University of Jerusalem (visiting Harvard 2011-2013)

Title: Truth and justice in allocation problems

Moshe Vardi, Rice University

Title: The Rise and Fall of Linear Temporal Logic