2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE 2016)

The 17th 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, secure, and reliable. The strength of the evidence supporting the assurance case is of central importance to 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 2016 will be held in Orlando, Florida, one of the most visited tourist destinations in the United States. Located in Central Florida, Orlando is nicknamed the "The City Beautiful" and is also known as "The Theme Park Capital of the World," with world known theme parks such as Disney World Resort, Universal Studios Florida, SeaWorld Orlando, Gatorland, LegoLand, and others. According to VisitOrlando, last year, more than 62 million people experienced all that Orlando has to offer, which made Orlando the most visited destination in the United States in 2014. There are countless of dining and entertainment options featured within the city limits with downtown area and International Drive capturing a large selection of different cuisines and year-round events.