(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 techniques used to design and construct systems that, in addition to meeting their functional objectives, are safe, secure, and reliable. Topics of interest include but are not limited to: 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. The following types of submissions are solicited: Research Papers 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: http://hase2012.ist.unomaha.edu/ Fast Abstracts 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. Panel Proposals 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 rgandhi@unomaha.edu<mailto:rgandhi@unomaha.edu>, and should include the panel title and scope, and the organizers' contact information. The paper submission website is available at http://www.easychair.org/conferences/?conf=hase2012 Important Dates/Deadlines July 22, 2012 Paper Submission August 31, 2012 Paper Notification September 9, 2012 Camera-ready submission September 16, 2012 Preliminary Conference Program Sincerely, HASE 2012 Organizing Committee. Program Committee for HASE 2012 Ahamed Iqbal Marquette University, USA Babiceanu Radu University of Arkansas at Little Rock, USA Bastani Farrokh University of Texas at Dallas, USA Bharadwaj Ramesh Naval Research Laboratory, USA Bondavalli Andrea University of Florence, Italy Chunming Hu Beihang University Cukic Bojan West Virginia University, USA Dampier David Mississippi State University, USA Dimitrios Serpanos University of Patras Fu Jicheng University of Central Oklahoma, USA Gandhi Robin University of Nebraska at Omaha, USA Garg Vijay University of Texas at Austin, USA Ghafoor Arif Purdue University, USA Helene Waeselynck LAAS-CNRS Hong Zhu Oxford Brookes University Hurson Ali Missouri University of Science and Technology, USA I-Ling Yen University of Texas at Dallas Iyer Ravi University of Illinois, USA Kanoun Karama LAAS-CNRS, France Jianjun Zhao Shanghai Jiao Tong University Jie Xu University of Leeds Katerina Goseva West Virginia University Kenji Taguchi National Institute of Advanced Industrial Science and Technology (AIST), Japan Kenji Yoshigoe University of Arkansas at Little Rock Khan Farrukh Texas Southern University Liu Frank Missouri University of Science and Technology, USA Lu Jian Nanjing University, China Lu Xiaodong Tokyo Institute of Technology, Japan Lyu Michael Chinese University of Hong Kong McMillin Bruce Missouri University of Science and Technology, USA Mohammad Zulkernine Queen's University Neeraj Suri TU Darmstadt Pattabiraman Karthik University of British Columbia, Canada Paul Raymond Department of Defense Punnekkat Sasikumar Mälardalen University, Sweden Roach Steve University of Texas at El Paso, USA Rotella Pete Cisco Systems, USA Saglietti Francesca Universität Erlangen-Nürnberg, Germany Schoitsch Erwin Austrian Institute of Technology Sedigh Sahra Missouri University of Science and Technology, USA Seliya Naeem University of Michigan - Dearborn, USA Umit Topaloglu University of Arkansas for Medical Science Victor Winter University of Nebraska at Omaha, USA