<html dir="ltr">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style id="owaParaStyle" type="text/css">P {margin-top:0;margin-bottom:0;}</style>
</head>
<body ocsi="0" fpstyle="1">
<div style="direction: ltr;font-family: Tahoma;color: #000000;font-size: 10pt;"><font><span style="font-size:10pt">(We apologize if you have received multiple copies of this CFP)</span></font><br>
<font style="font-family:arial,helvetica,sans-serif" size="2"><br>
Dear Colleague</font>
<div style="font-family:arial,helvetica,sans-serif">
<p class="MsoNormal"><font>We would like to invite you to submit papers to The 14<sup>th</sup> IEEE International Symposium on
<i>High Assurance Systems Engineering</i> (HASE 2012), to 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
<i>safe</i>, <i>secure</i>, and <i>reliable</i>. Topics of interest include but are not limited to:<br>
<br>
SCADA systems and other critical infrastructures, cyber-physical systems, cloud computing, distributed systems, web services, embedded systems, emergent behavior, fault tolerance, simulation, monitoring, model-driven engineering, synthesis, formal methods,
domain-specific languages, evolution and change, verification and validation, software analysis and visualization, tools, transformation-based development, security , as well as case studies and experiments.</font></p>
</div>
<div style="font-family:arial,helvetica,sans-serif">
<p class="MsoNormal"><font> </font></p>
</div>
<div style="font-family:arial,helvetica,sans-serif">
<p class="MsoNormal"><font>The following types of submissions are solicited:</font></p>
</div>
<div style="font-family:arial,helvetica,sans-serif">
<p class="MsoNormal"><font>Research Papers<br>
HASE 2012 is soliciting original, unpublished research papers. The length is limited to eight pages, in IEEE style. More information can be found on the HASE 2012 website:
<a href="http://hase2012.ist.unomaha.edu/" target="_blank">http://hase2012.ist.unomaha.<wbr>edu/</a><br>
<br>
Fast Abstracts<br>
A fast abstract is a lightly reviewed, two-page technical article that requires a short talk at HASE. The goal of a fast abstract is to promote current work, research, practices, opinions, experiences, and issues related to any facet of high assurance systems.
A fast abstract is early communication of technical work and does not require the completed results expected of a conference or journal publication. The length is limited to two pages, in IEEE style.<br>
<br>
Panel Proposals<br>
Proposals for panels are being solicited. Panels should focus on new challenges and emerging technologies related to high assurance systems, to stimulate a lively and thought provoking discussion. Controversial issues that encompass multiple viewpoints are
desirable. The goal is to engage the audience with a lively debate that furthers their understanding of the topic. Panel proposals of at most two pages should be submitted by email, to
<a href="mailto:rgandhi@unomaha.edu" target="_blank">rgandhi@unomaha.edu</a>, and should include the panel title and scope, and the organizers' contact information.</font></p>
</div>
<div style="font-family:arial,helvetica,sans-serif">
<p class="MsoNormal"><font>The paper submission website is available at <a href="http://www.easychair.org/conferences/?conf=hase2012" target="_blank">
http://www.easychair.org/<wbr>conferences/?conf=hase2012</a></font></p>
</div>
<div style="font-family:arial,helvetica,sans-serif">
<p class="MsoNormal"><font>Important Dates/Deadlines</font></p>
</div>
<div style="font-family:arial,helvetica,sans-serif">
<p class="MsoNormal"><font> </font></p>
</div>
<div style="font-family:arial,helvetica,sans-serif">
<p class="MsoNormal"><b><font>July 22, 2012 Paper Submission<br>
August 31, 2012 Paper Notification<br>
September 9, 2012 Camera-ready submission<br>
September 16, 2012 Preliminary Conference Program</font></b></p>
</div>
<div style="font-family:arial,helvetica,sans-serif">
<p class="MsoNormal"><font> </font></p>
</div>
<div style="font-family:arial,helvetica,sans-serif">
<p class="MsoNormal"><font>Sincerely,</font></p>
</div>
<p style="font-family:arial,helvetica,sans-serif" class="MsoNormal"><font>HASE 2012 Organizing Committee.
</font></p>
<font style="font-family:arial,helvetica,sans-serif" size="2"><br>
<b><br>
Program Committee for HASE 2012</b><br>
Ahamed Iqbal Marquette University, USA<br>
Babiceanu Radu University of Arkansas at Little Rock, USA<br>
Bastani Farrokh University of Texas at Dallas, USA<br>
Bharadwaj Ramesh Naval Research Laboratory, USA<br>
Bondavalli Andrea University of Florence, Italy<br>
Chunming Hu Beihang University<br>
Cukic Bojan West Virginia University, USA<br>
Dampier David Mississippi State University, USA<br>
Dimitrios Serpanos University of Patras<br>
Fu Jicheng University of Central Oklahoma, USA<br>
Gandhi Robin University of Nebraska at Omaha, USA<br>
Garg Vijay University of Texas at Austin, USA<br>
Ghafoor Arif Purdue University, USA<br>
Helene Waeselynck LAAS-CNRS<br>
Hong Zhu Oxford Brookes University<br>
Hurson Ali Missouri University of Science and Technology, USA<br>
I-Ling Yen University of Texas at Dallas<br>
Iyer Ravi University of Illinois, USA<br>
Kanoun Karama LAAS-CNRS, France<br>
Jianjun Zhao Shanghai Jiao Tong University<br>
Jie Xu University of Leeds <br>
Katerina Goseva West Virginia University<br>
Kenji Taguchi National Institute of Advanced Industrial Science and Technology (AIST), Japan<br>
Kenji Yoshigoe University of Arkansas at Little Rock <br>
Khan Farrukh Texas Southern University <br>
Liu Frank Missouri University of Science and Technology, USA<br>
Lu Jian Nanjing University, China<br>
Lu Xiaodong Tokyo Institute of Technology, Japan<br>
Lyu Michael Chinese University of Hong Kong <br>
McMillin Bruce Missouri University of Science and Technology, USA<br>
Mohammad Zulkernine Queen's University<br>
Neeraj Suri TU Darmstadt <br>
Pattabiraman Karthik University of British Columbia, Canada<br>
Paul Raymond Department of Defense<br>
Punnekkat Sasikumar Mälardalen University, Sweden<br>
Roach Steve University of Texas at El Paso, USA<br>
Rotella Pete Cisco Systems, USA<br>
Saglietti Francesca Universität Erlangen-Nürnberg, Germany<br>
Schoitsch Erwin Austrian Institute of Technology<br>
Sedigh Sahra Missouri University of Science and Technology, USA<br>
Seliya Naeem University of Michigan - Dearborn, USA<br>
Umit Topaloglu University of Arkansas for Medical Science<br>
Victor Winter University of Nebraska at Omaha, USA</font></div>
</body>
</html>