Agenda 2013
| Time | Event |
| 0730 | Speaker’s Briefings for the Morning Session |
| 0800 | Plenary Session for ASM |
| 0900 | Introduction: Current Problems and Progress in Aerospace Software Engineering |
| 0930 | New Tech in an Old Tech World |
| Stephen Blanchette, Jr. | |
| Chief Engineer, Army Programs | |
| Software Engineering Institute | |
| 1000 | Challenges in Achieving Trajectory-based Operations |
| Karen Cate | |
| NASA Ames Research Center | |
| 1030 | Modeling the Human and Automated Contributions to Human Automation Interaction |
| Dr. Karen M. Feigh | |
| Georgia Tech University | |
| 1100 | Discussion on Aerospace Software Design |
| 1130 | Verification of Function Approximations |
| Dr. Matt Knudson | |
| NASA Ames Research Center | |
| 1200 | ASM Awards Luncheon |
| 1400 | Speaker’s Briefings for the Afternoon Session |
| 1430 | Validation and Verification of LADEE Models and Software |
| Dr. Karen Gundy-Burlet | |
| LADEE Flight Software Lead | |
| NASA Ames Research Center | |
| 1500 | Software Verification Considerations for the ARTIS Unmanned Rotorcraft |
| Christoph Torens | |
| Institute of Flight Systems, Dept. Unmanned Aircraft, Braunschweig, Germany | |
| 1530 | Discussion on Aerospace Software Analysis, Validation, and Verification |
| 1600 | Education in the Cross-Cutting Sciences of Aerospace and Computing |
| Dr. Ella Atkins | |
| University of Michigan, Ann Arbor | |
| 1630 | Discussion on Aerospace Software Education, Policy, and Management |
| 1700 | Wrap-up and Future Work Discussions |
| 1730 | Workshop Ended |