pre-registration: imprs@mpi-inf.mpg.depreliminary discussion and final registration: August 13st, 2014 10:00 am in MPI-SWS (building E1 5) room 105