pre-registration: imprs@mpi-inf.mpg.depreliminary discussion and final registration: August 1st, 2012 10:00 am in MPI-INF 024