Call for Papers and Other Useful Academic Information

This is a multi-part message in MIME format.

–===============1496990842==
Content-Type: multipart/alternative;
boundary=”—-=_NextPart_000_0000_01C8A23D.6C946B30″

This is a multi-part message in MIME format.

——=_NextPart_000_0000_01C8A23D.6C946B30
Content-Type: text/plain;
charset=”gb2312″
Content-Transfer-Encoding: quoted-printable

***We apologise if you have received multiple copies of this call for
papers.***
=20
Please circulate to colleagues who might be interested.=20

=20
=20
HASE 2008 CALL FOR PAPERS
**********************************************************************
=20
HASE 2008
11th High Assurance Systems Engineering Symposium
=20
Nanjing, China
December 3-5, 2008

http://cs.nju.edu.cn/hase08/main.html

=20
Call for Papers
=20
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.
=20
Authors are invited to submit high quality technical papers describing
original and unpublished work in all aspects of high assurance systems
engineering.
Topics of interests for the symposium include, but are not limited to:=20
=20
*Design and development of highly reliable, survivable, secure, safe, =
and
time-assured systems=20
*Integrated system reliability, availability, security, safety, and =
timing
analysis and evaluation methods=20
*Policies for reliability, safety, security, integrity, privacy, and
confidentiality of high assurance systems=20
*Formal specification, specification validation, testing, and model =
checking
for high assurance systems=20
*High assurance software architecture and design=20
*Transformation-based and evolutionary-based system development=20
*Reconfigurable system design for evolving high assurance requirements=20
*Dynamic monitoring and adaptation for run-time assurance=20
*High assurance web services=20
*High assurance information/knowledge systems and data grids=20
*High assurance embedded systems, ubiquitous systems and sensor networks =

*Extending web service specifications for reliability, safety, security,
privacy, trust, and other QoS properties=20
*Assurance techniques for service-oriented systems=20
=20

CALL FOR FAST ABSTRACTS
=20
Contributions for the Fast Abstract track of HASE 2008 are solicited.
The fast abstracts aim to serve as a rapid and flexible mechanism to
o Discuss industrial experiences and achievements
o Report on research work in progress
o Introduce new ideas to the community
o State positions on controversial issues or open problems
Works related to high assurance systems engineering fitting the
categories described above are welcome. Authors from industry,
government, and academia are encouraged to submit Fast Abstracts.
Fast Abstracts will not be formally refereed. Instead, the HASE’08 Fast
Abstracts Committee will screen the submissions. The criteria for
acceptance will be i) relevance and interest to the community and ii)
timeliness of the material.
=20
=20
=20
Submission Guidelines:
=20
Research Papers: Original, previously unpublished papers are
solicited. Maximum 10 pages, standard IEEE double-column format.
=20
Fast Abstracts: Fast Abstracts are limited to 2 pages, in standard IEEE
double-column format. Authors of accepted Fast Abstracts will present
a short talk approximately 10-15 min) at HASE 2008 Fast Abstract
sessions.
=20

Important Dates:=20
=20
* June 10, 2008: Paper submission deadline
* July 10, 2008: Fast Abstract submission deadline
* August 1, 2008: Acceptance/rejection notification
* August 29, 2008: Camera-ready version due
* December 3-5, 2008: HASE 2008
=20

Organization:
=20
General Chairs: Jian Lu, Nanjing University (China)
Program Co-chairs: Xuandong Li, Nanjing University (China)
Carol S. Smidts, Ohio State University US (North/South America)=20
Jie Xu, University of Leeds (Europe)
=20
Finance Chair: Xin Chen, Nanjing University (China)
=20
Publicity Co-Chairs: Xianglin Fei, Nanjing University (China)
=20
Registration Chair: JianHua Zhao, Nanjing University (China)
=A1=A1=A1=A1=A1=A1=A1=A1=A1=A1=A1=A1=A1=A1=A1=A1=A1=A1 =20
Local Organization Chair: Linzhang Wang, Nanjing University, (China)
=20
=20
Steering Program Committee
Taghi M. Khoshgoftaar, Florida Atlantic University=20
Kinji Mori, Tokyo Institute of Technology=20
Raymond Paul, Department of Defense Chair)=20
Wei-Tek Tsai, Arizona State University=20
Victor Winter, University of Nebraska,Omaha=20
I-Ling Yen, University of Texas at Dallas
=20

=20
=20

=20

——=_NextPart_000_0000_01C8A23D.6C946B30
Content-Type: text/html;
charset=”gb2312″
Content-Transfer-Encoding: quoted-printable

——=_NextPart_000_0000_01C8A23D.6C946B30–

–===============1496990842==
Content-Type: text/plain; charset=”us-ascii”
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

—-
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ petrinet@informatik.uni-hamburg.de ]]
–===============1496990842==–