<!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.3354" name=GENERATOR></HEAD>
<BODY>
<DIV>
<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><SPAN class=046340408-19042008><FONT size=2></FONT></SPAN> </DIV>
<DIV><FONT size=2>Please circulate to colleagues who might be interested.
</FONT></DIV>
<DIV><FONT size=2></FONT> </DIV>
<DIV><FONT
size=2>
HASE 2008<BR>11th High Assurance Systems Engineering Symposium</FONT></DIV>
<DIV><FONT size=2></FONT> </DIV>
<DIV><FONT
size=2>
Nanjing,
China<BR>
December 3-5,
2008<BR>
</FONT><A href="http://cs.nju.edu.cn/hase08/main.html"><FONT
size=2>http://cs.nju.edu.cn/hase08/main.html</FONT></A></DIV>
<DIV><FONT size=2></FONT> </DIV>
<DIV><FONT size=2>Call for Papers</FONT></DIV>
<DIV><FONT size=2></FONT> </DIV>
<DIV><FONT size=2>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.</FONT></DIV>
<DIV><FONT size=2></FONT> </DIV>
<DIV><FONT size=2>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: </FONT></DIV>
<DIV><FONT size=2></FONT> </DIV>
<DIV><FONT size=2>*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 </FONT></DIV>
<DIV><FONT size=2></FONT> </DIV>
<DIV><BR><FONT size=2>CALL FOR FAST ABSTRACTS</FONT></DIV>
<DIV><FONT size=2></FONT> </DIV>
<DIV><FONT size=2>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.</FONT></DIV>
<DIV><FONT size=2></FONT> </DIV>
<DIV><FONT size=2></FONT> </DIV>
<DIV><FONT size=2></FONT> </DIV>
<DIV><FONT size=2>Submission Guidelines:</FONT></DIV>
<DIV><FONT size=2></FONT> </DIV>
<DIV><FONT size=2>Research Papers: Original, previously unpublished papers
are<BR>solicited. Maximum 10 pages, standard IEEE double-column
format.</FONT></DIV>
<DIV><FONT size=2></FONT> </DIV>
<DIV><FONT size=2>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.</FONT></DIV>
<DIV><FONT size=2></FONT> </DIV>
<DIV><BR><FONT size=2>Important Dates: </FONT></DIV>
<DIV><FONT size=2></FONT> </DIV>
<DIV><FONT size=2>* June <SPAN
class=218385815-08062008>30</SPAN>, 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</FONT></DIV>
<DIV><FONT size=2></FONT> </DIV>
<DIV><BR><FONT size=2>Organization:</FONT></DIV>
<DIV><FONT size=2></FONT> </DIV>
<DIV><FONT size=2>General Chairs: Jian Lu,
Nanjing University (China)<BR>Program Co-chairs: Xuandong Li,
Nanjing University
(China)<BR> <SPAN
class=218385815-08062008> </SPAN>Carol
S. Smidts, Ohio State University US (North/South America)
<BR>
Jie Xu, University of Leeds (Europe)</FONT></DIV>
<DIV><FONT size=2></FONT> </DIV>
<DIV><FONT size=2>Finance Chair: Xin Chen, Nanjing University
(China)</FONT></DIV>
<DIV><FONT size=2></FONT> </DIV>
<DIV><FONT size=2>Publicity Chair: Jing Dong, University of Texas at Dallas
(US)</FONT></DIV>
<DIV><FONT size=2></FONT> </DIV>
<DIV><FONT size=2>Registration Chair: JianHua Zhao, Nanjing
University (China)<BR> <BR>Local Organization Chair:
Linzhang Wang, Nanjing University, (China)</FONT></DIV>
<DIV><FONT size=2></FONT> </DIV>
<DIV><FONT size=2>Program Committee:<BR>Farooq Ahmad (National University of
Sciences and technology, Pakistan)<BR>Masaki Aida (Tokyo Metropolitan
University, Japan)<BR>Xiaoying Bai (Tsinghua University, China)<BR>Farokh
Bastani (University of Texas at Dallas, USA)<BR>Andrea Bondavali(University of
Florence, Italy)<BR>Guillaume Brat (USRA-RIACS, USA)<BR>Taolue Chen(CWI,
Netherlands)<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) </FONT></DIV>
<DIV><FONT size=2></FONT> </DIV>
<DIV><FONT size=2>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</FONT></DIV>
<DIV><FONT size=2></FONT> </DIV>
<DIV><FONT size=2></FONT><BR><FONT size=2>Keynote Speakers<BR>TBD</FONT></DIV>
<DIV><FONT size=2></FONT> </DIV>
<DIV><BR><FONT size=2> </FONT></DIV></DIV></BODY></HTML>