[Haskell] Call For Papers for HASE 2012

(We apologize if you have received multiple copies of this CFP) Dear Colleague We would like to invite you to submit papers to The 14th IEEE International Symposium on High Assurance Systems Engineering (HASE 2012), to be held at Omaha NE. October 25-27. HASE 2012 is a forum on tools and techniq

[Haskell] 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, sec