-------- Original Message -------- Subject: [computational.science] CFP --- The 13th IEEE International High Assurance Systems Engineering Symposium --- HASE 2011, Boca Raton (Florida-USA) Nov. 10-12, 2011 Date: Tue, 14 Jun 2011 18:47:38 -0400 (EDT) From: Taghi Khoshgoftaar khoshgof@fau.edu Organization: "ICCSA" To: Computational Science Mailing List computational.science@lists.iccsa.org

=======================================================================

The 13th IEEE International High Assurance System Engineering Symposium (HASE 2011) will be held in

Boca Raton, Florida, USA , on November 10-12 .

The conference url is http://www.cse.fau.edu/hase2011/

=======================================================================

The IEEE International High Assurance System Engineering Symposium (HASE) is a premier international research forum which stimulates and fosters the exchange of ideas and discussion of systems and software engineering approaches to achieving high assurance systems in academia, industry, and government agencies.

The IEEE International Symposium on High Assurance Systems Engineering is a forum seeks to advance all technical, theoretical, and practical aspects of integrated approaches for assuring reliability, availability, integrity, privacy, confidentiality, safety, and real-time performance of complex systems; and methods for assessing assurance levels of these systems to a high degree of confidence. Technical and experience papers on algorithms, policies, middleware, tools, and models for high assurance systems development, verification and validation, and assessment are welcome. Topics of interest for the symposium include, but are not limited to:

• Design and development of highly reliable, survivable, secure, safe, and time-assured systems • Integrated system reliability, availability, security, safety, and timing analysis and evaluation methods • Policies for reliability, safety, security, integrity, privacy, and confidentiality of high assurance systems • Formal specification, validation, testing, and model checking for high assurance systems • High assurance software architectures and design • Transformation-based and evolutionary-based system development • Reconfigurable system design for evolving high assurance requirements • Dynamic monitoring and adaptation for run-time assurance • High assurance information/knowledge systems and data grids • High assurance embedded systems, ubiquitous systems, and sensor networks • High assurance web services • Extending web service specifications for reliability, safety, security, privacy and other QoS properties • Assurance techniques for service-oriented systems • Case studies, experiments, and tools for high assurance systems

Paper Submission -------------------------- Papers should be submitted electronically, through the HASE 2011 submission system, in PDF format. All submissions should conform to the IEEE proceedings specifications (single-spaced, double-column, 10-point font size, up to 8 pages). For detailed instructions, please refer to the IEEE website.

Special Issue Publication ------------------------------------ Extended versions of the best papers at the conference will be invited for publication in a special issue of the International Journal and Edited Books.

Paper Submission Date : July 5th 2011

Conference Chair ------------------------- Taghi M. Khoshgoftaar, Florida Atlantic University, Boca Raton, Florida, USA khoshgof@fau.edu

Program Committee Co-Chairs ------------------------------------------- Ankur Agarwal, Florida Atlantic University, Boca Raton, Florida, USA ankur@cse.fau.edu Swapna Gokhale, University of Connecticut, USA ssg@engr.uconn.edu