General Information

HASE 2016

IEEE High Assurance Systems Engineering Symposium

Symposium Theme: Mission Resilience with High Assurance Systems Engineering

January 7 - 9, 2016, Orlando, Florida, USA

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.

The city of Orlando is served by the Orlando International Airport (MCO) for air transportation, and several highways that provide easy access to all area attractions and to the Atlantic Ocean to the east and the Gulf of Mexico to the west. Interstate I-4 goes through the city and connects to I-95 to the east and I-75 to the west. Also, the Beachline Expressway connects the city to the International Airport and the Atlantic Ocean beaches and Kennedy Space Center.

Orlando climate is relatively warm even during the winter months, with the minimum temperature for the month of January usually in the range of upper 40s - low 50s F (8-12 C) and maximum temperature for the month of January in the range of upper 60s - low 70s F (18-22 C).

We invite you to join us at this international symposium, and to help shape the future of high assurance systems engineering!

We look forward to welcoming you to Orlando in January 2016!