Due August 15, 2010
Educators' Scholarships
SPLASH is pleased to announce the availability of scholarships for educators from 2- and 4-year colleges and universities to participate in SPLASH 2010 and its Educators' and Trainers' Symposium. These scholarships are sponsored by the Association of Computing Machinery (ACM) Special Interest Group on Programming Languages (SIGPLAN).
Gerard Holzmann discusses Spin, a design analyzer tool, and Scrub, a code review tool, used by Jet Propulsion Laboratory to analyze and fix the software used for critical solar system exploration missions.
