removed the theme for GUADEC 2013