Schedule for John Regehr
regehr@cs.utah.edu