IEEE International Symposium on High Assurance Systems Engineering (HASE) 2015

The IEEE International Symposium on High Assurance Systems Engineering (HASE) is a forum on tools and techniques used to design and construct systems that, in addition to meeting their functional objectives, are safe and secure. Of central importance, is the strength of the evidence supporting the assurance case - the argument that a system satisfies its safety and security policies. Supporting evidence can be obtained from a number of sources including: testing, verification, design methodologies, simulation, and analysis tools.

HASE 2015 will be held in Daytona Beach, Florida. Located on the east coast of Central Florida, and anchored by 23 miles of clean, hard-packed white sand, Daytona Beach is known as the World's Most Famous Beach and also internationally famous for its racing roots, hosting some of the largest motorsports events in the world including the Daytona 500, commonly recognized as the "Great American Race." The city is also attractive to college students searching for first-class education, with four institutions of higher learning located in Daytona Beach, including Embry-Riddle Aeronautical University, the world's largest, fully accredited university specializing in aviation and aerospace. We invite you to join us at this international symposium, and to help shape the future of high assurance systems engineering! See you in Daytona Beach in January 2015!