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
ISAIM 2012

International Symposium on Artificial Intelligence and Mathematics

Fort Lauderdale, FL. January 911, 2012