Sanjukta Bhowmick | 4 Oct 11:54 2012

Invitation to HASE 2012

Dear Colleague

The 14th IEEE International Symposium on High Assurance Systems
Engineering (HASE 2012), will be held at Omaha NE. October 25-27. HASE
2012 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.  This years' keynote speakers include
Kerry Kelly from the United States Strategic Command, Brad Masterson
from First Data and Jeff Young from Union Pacific. We invite you to
join us for an exciting conference on security and high assurance software.

 Details of the conference program as well as information about
registration and accommodation are available at

HASE 2012 Organizing Committee.
Haskell mailing list
Haskell <at>