On-Site Registration
Registration 1 – Saturday
Sat 3:00-7:00 pm - Bonanza/Ponderosa Foyer
Registration 2 – Sunday
Sun 7:00-5:00 pm - Bonanza/Ponderosa Foyer
Registration 3 – Monday
Mon 7:00-5:00 pm - Bonanza/Ponderosa Foyer
Registration 4 – Tuesday
Tue 8:00-5:00 pm - Bonanza A & B
Registration 5 – Wednesday
Wed 8:00-5:00 pm - Room TBD
Registration 6 - Thursday
Thu 8:00-12:00 pm - Bonanza/Ponderosa Foyer
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.
