High-Assurance Systems (HASE)

HASE 2014: Miami Beach, FL, USA

HASE 2012: Omaha, NE, USA

HASE 2011: Boca Raton, FL, USA

HASE 2010: San Jose, CA, USA

HASE 2008: Nanjing, China

HASE 2007: Dallas, Texas, USA

HASE 2005: Heidelberg, Germany

HASE 2004: Tampa, FL, USA

HASE 2002: Tokyo, Japan

HASE 2001: Albuquerque, NM, USA

HASE 2000: Albuquerque, NM, USA

HASE 1999: Washington, D.C., USA

HASE 1998: Washington, D.C., USA

HASE 1997: Washington, D.C., USA

HASE 1996: Niagara, Canada