<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META http-equiv=Content-Type content="text/html; charset=gb2312">
<META content="MSHTML 6.00.2900.3314" name=GENERATOR></HEAD>
<BODY>
<DIV><FONT size=2>
<DIV><FONT size=2><SPAN class=046340408-19042008>***</SPAN>We apologise if you
have received multiple copies of this call for p<SPAN
class=046340408-19042008>apers</SPAN>.<SPAN
class=046340408-19042008>***</SPAN></FONT></DIV>
<DIV><FONT size=2><SPAN class=046340408-19042008></SPAN></FONT> </DIV>
<DIV>Please circulate to colleagues who might be interested. </DIV>
<DIV> </DIV>
<DIV>
HASE 2008<BR>11th High Assurance Systems Engineering Symposium</DIV>
<DIV> </DIV>
<DIV>
Nanjing,
China<BR>
December 3-5,
2008<BR>
<A
href="http://cs.nju.edu.cn/hase08/main.html">http://cs.nju.edu.cn/hase08/main.html</A></DIV>
<DIV> </DIV>
<DIV>Call for Papers</DIV>
<DIV> </DIV>
<DIV>The IEEE International Symposium on High Assurance Systems Engineering is a
forum for discussion of systems and software engineering issues to achieve high
assurance systems. The focus is on integrated approaches for assuring
reliability, availability, integrity, privacy, confidentiality, safety, and
real-time of complex systems and the methods for assessing the assurance levels
of the 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.</DIV>
<DIV> </DIV>
<DIV>Authors are invited to submit high quality technical papers describing
original and unpublished work in all aspects of high assurance systems
engineering.<BR>Topics of interests for the symposium include, but are not
limited to: </DIV>
<DIV> </DIV>
<DIV>*Design and development of highly reliable, survivable, secure, safe, and
time-assured systems <BR>*Integrated system reliability, availability, security,
safety, and timing analysis and evaluation methods <BR>*Policies for
reliability, safety, security, integrity, privacy, and confidentiality of
high assurance systems <BR>*Formal specification, specification
validation, testing, and model checking for high assurance systems
<BR>*High assurance software architecture and design <BR>*Transformation-based
and evolutionary-based system development <BR>*Reconfigurable system design for
evolving high assurance requirements <BR>*Dynamic monitoring and adaptation for
run-time assurance <BR>*High assurance web services <BR>*High assurance
information/knowledge systems and data grids <BR>*High assurance embedded
systems, ubiquitous systems and sensor networks <BR>*Extending web service
specifications for reliability, safety, security, privacy, trust, and
other QoS properties <BR>*Assurance techniques for service-oriented
systems </DIV>
<DIV> </DIV>
<DIV><BR>CALL FOR FAST ABSTRACTS</DIV>
<DIV> </DIV>
<DIV>Contributions for the Fast Abstract track of HASE 2008 are
solicited.<BR>The fast abstracts aim to serve as a rapid and flexible mechanism
to<BR>o Discuss industrial experiences and achievements<BR>o Report on research
work in progress<BR>o Introduce new ideas to the community<BR>o State positions
on controversial issues or open problems<BR>Works related to high assurance
systems engineering fitting the<BR>categories described above are welcome.
Authors from industry,<BR>government, and academia are encouraged to submit Fast
Abstracts.<BR>Fast Abstracts will not be formally refereed. Instead, the HASE'08
Fast<BR>Abstracts Committee will screen the submissions. The criteria
for<BR>acceptance will be i) relevance and interest to the community and
ii)<BR>timeliness of the material.</DIV>
<DIV> </DIV>
<DIV> </DIV>
<DIV> </DIV>
<DIV>Submission Guidelines:</DIV>
<DIV> </DIV>
<DIV>Research Papers: Original, previously unpublished papers are<BR>solicited.
Maximum 10 pages, standard IEEE double-column format.</DIV>
<DIV> </DIV>
<DIV>Fast Abstracts: Fast Abstracts are limited to 2 pages, in standard
IEEE<BR>double-column format. Authors of accepted Fast Abstracts will
present<BR>a short talk approximately 10-15 min) at HASE 2008 Fast
Abstract<BR>sessions.</DIV>
<DIV> </DIV>
<DIV><BR>Important Dates: </DIV>
<DIV> </DIV>
<DIV>* June 17, 2008: Paper submission deadline
(extended)<BR>* July 10, 2008: Fast Abstract
submission deadline<BR>* August 1, 2008:
Acceptance/rejection notification<BR>* August 29, 2008:
Camera-ready version due<BR>* December 3-5, 2008: HASE 2008</DIV>
<DIV> </DIV>
<DIV><BR>Organization:</DIV>
<DIV> </DIV>
<DIV>General Chairs: Jian Lu, Nanjing
University (China)<BR>Program Co-chairs: Xuandong Li, Nanjing
University (China)<BR> Carol S.
Smidts, Ohio State University US (North/South America)
<BR>
Jie Xu, University of Leeds (Europe)</DIV>
<DIV> </DIV>
<DIV>Finance Chair: Xin Chen, Nanjing University (China)</DIV>
<DIV> </DIV>
<DIV>Publicity Chair: Jing Dong, University of Texas at Dallas (US)</DIV>
<DIV> </DIV>
<DIV>Registration Chair: JianHua Zhao, Nanjing University
(China)<BR> <BR>Local Organization Chair: Linzhang
Wang, Nanjing University, (China)</DIV>
<DIV> </DIV>
<DIV>Program Committee:<BR>Farooq Ahmad (National University of Sciences and
technology, Pakistan)<BR>Masaki Aida (Tokyo Metropolitan University,
Japan)<BR>Farokh Bastani (University of Texas at Dallas, USA)<BR>Andrea
Bondavali(University of Florence, Italy)<BR>Guillaume Brat (USRA-RIACS,
USA)<BR>Michel Cukier (University of Maryland at College Park,
USA)<BR>John Davies(BAE Systems, UK)<BR>JinSong Dong (National University of
Singapore,Singapore)<BR>Felicita Di Giandomenico(CNR, Italy)<BR>Arif
Ghafoor (Purdue University, USA)<BR>Swapna Gokhale (University of
Connecticut, USA)<BR>Katerina Goseva-Popstojanova (West Virginia University,
USA)<BR>Mats Heimdahl (University of Minnesota, USA)<BR>Mike
Henshaw(Loughborough University, UK)<BR>Ravi Iyer (University of Illinois
at Urbana-Champaign, USA)<BR>Phil John(Cranfield University, UK)<BR>Yoshiaki
Kakuda (Hiroshima City University, Japan)<BR>Shaoying Liu (Hosei University,
Japan)<BR>Zhiming Liu (UNU/IIST, Macau, China)<BR>Xiaodong Lu (Tokyo Institute
of Technology, Japan <BR>Michael Lyu (Chinese University of Hong Kong,
China)<BR>Miroslaw Malek( Humboldt University, Germany)<BR>Hong Mei (Peking
University, China) <BR>Graham Morgen(University of Newcastle, UK)<BR>Kinji Mori
(Tokyo Institute of Technology, Japan)<BR>Hiroaki Morino (Shibaura Institue of
Technology, Japan)<BR>Gilles Muller(EMN, France)<BR>Edgar Nett(University of
Magdeburg. Germany)<BR>Jun Pang (University of Luxembourg, Luxembourg)<BR>Steven
Roach (University of Texas at El Paso, USA)<BR>Manuel Rodriguez (Ohio State
University, USA)<BR>Luigi Romano(University of Napoli, Italy)<BR>Eugene Santos
(Dartmouth College, USA)<BR>Man-Tak Shing (Naval Postgraduate School,
USA)<BR>Zhendong Su (University of California at Davis, USA) <BR>Yongdong Tan
(Southwest Jiaotong University, China)<BR>Paul Townend(University of Leeds,
UK)<BR>Helene Waeselynck(LAAS-CNRS, France)<BR>Farn Wang (National Taiwan
University Taiwan, China) <BR>Ji Wang (Changsha Institute of Technology,
China)<BR>Linzhang Wang (Nanjing University, China)<BR>Victor Winter (University
of Nebraska at Omaha, USA)<BR>Eric Wong (University of Texas at Dallas,
USA)<BR>Dianxiang Xu (North Dakota State University, USA)<BR>Jian Zhang
(Institute of Software, China)<BR>Jianhua Zhao (Nanjing University,
China)<BR>Jianjun Zhao (Shanghai Jiao Tong University, China)<BR>Hong Zhu
(Oxford Brooks University, UK)<BR>Huibiao Zhu (East China Normal University,
China) </DIV>
<DIV> </DIV>
<DIV>Steering Program Committee<BR>Taghi M. Khoshgoftaar, Florida Atlantic
University <BR>Kinji Mori, Tokyo Institute of Technology <BR>Raymond Paul,
Department of Defense Chair) <BR>Wei-Tek Tsai, Arizona State University
<BR>Victor Winter, University of Nebraska,Omaha <BR>I-Ling Yen, University of
Texas at Dallas</DIV>
<DIV> </DIV>
<DIV><BR>Keynote Speakers<BR>TBD</DIV>
<DIV> </DIV>
<DIV><BR> </DIV></FONT></DIV></BODY></HTML>