proper tags for Magma Conf 2013 post