ACIS / REDIS 2013 Problems accepted