A Neumann János Számítógép-tudományi Társaság programja 2007–2009