High-Assurance Systems (HASE)

19th HASE 2019: Hangzhou, China

18th HASE 2017: Singapore

17th HASE 2016: Orlando, FL, USA

16th HASE 2015: Daytona Beach, FL, USA

15th HASE 2014: Miami Beach, FL, USA

14th HASE 2012: Omaha, NE, USA

13th HASE 2011: Boca Raton, FL, USA

12th HASE 2010: San Jose, CA, USA

11th HASE 2008: Nanjing, China

10th HASE 2007: Dallas, Texas, USA

9th HASE 2005: Heidelberg, Germany

8th HASE 2004: Tampa, FL, USA

7th HASE 2002: Tokyo, Japan

6th HASE 2001: Albuquerque, NM, USA

5th HASE 2000: Albuquerque, NM, USA

4th HASE 1999: Washington, D.C., USA

3rd HASE 1998: Washington, D.C., USA

2nd HASE 1997: Washington, D.C., USA

1st HASE 1996: Niagara, Canada

a service of Schloss Dagstuhl - Leibniz Center for Informatics