Ada and SPARK for education and research Tuesday, February 23, 2010, 14:00-18:00 Department of Computer Science - K.U.Leuven