Statistical Mechanics of Unsatisfiability and Glasses
from Wednesday 23 May 2012 (16:45) to Saturday 26 May 2012 (18:00)