[Haskell] Call For Papers for HASE 2012

[Sanjukta Bhowmick]

(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 at unomaha.edu<mailto:rgandhi at 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell/attachments/20120606/0187f540/attachment.htm>