Contents

• Contents
• Executive Summary
• Introduction
• Major Accomplishments
  • Early Achievements
  • More Recent Achievements
• Future Directions
  • Near-Term Opportunities
  • Longer-Term Opportunities
    • Verification
    • Program Synthesis
    • Mathematics
    • Mathematics Education
    • Beyond the Subareas
    • A Wider Role
• Use of Human Resources
• Conclusion
• Appendices
• References