Press Center
Monday February 8, 2010
Ada and SPARK for education and research
AdaCore will be participating in this event targeting the academic community.
Robert Dewar will be giving a presentation entitled “What’s New in the World of Ada” and Rod Chapman will be giving a presentation entitled “SPARK – The Libre Language and Toolset for High-Assurance Software”.