Preliminary Program
Class Dates: October 9 (Tuesday) - 12 (Friday)
Class Location: National Institute of Aerospace, Hampton, VA
| DAY 4 • Friday | |||
| Time | Lecture | Instructor | |
|---|---|---|---|
| 8:30 | 9:30 | Invited Lecture | Sam Owre |
| 9:30 | 9:40 | Break | |
| 9:40 | 10:10 | Nonlinear Arithmetic Proving | Anthony Narkawicz |
| 10:10 | 10:55 | Linear Algebra | Heber Herencia |
| 10:55 | 11:05 | Break | |
| 11:05 | 11:50 | Survival Tips and Conclusion | Rick Butler |
| 11:50 | 12:00 | Closing Remarks | |
NASA Official: César Muñoz
Web Curator: Ray Meyer
+ Contact NASA Langley
+ Contact NASA
Last Updated:
May 14, 2012
