[TYPES/announce] CALL FOR PAPERS - The Fourth IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2010)

[jun sun]

Type theories are undoubtly one of the fundamental ways of ensuring
software/system security/reliability. Hereby is a relevant conferencing with
approaching submisson deadline.

CALL FOR PAPERS
       The Fourth IEEE International Conference on
 Secure Software Integration and Reliability Improvement
                   (SSIRI 2010)

          http://paris.utdallas.edu/ssiri10

                     Singapore
                 9-11 June, 2010

SSIRI 2010 is the fourth annual conference technically co-sponsored by the
IEEE Reliability Society with a focus on software security and reliability.
It brings together a wide range of researchers and practitioners to present
their on-going ideas, experiences, and outcomes of most recent research, and
to exchange their best-of-breed practices for developing reliable, secure,
and trustworthy software systems in a more effective and efficient way. It
not only allows the academic community to gain an increased awareness of the
areas that are vital to the software industry, but it also grants
practitioners an opportunity to express their needs. The conference will be
held at the National University of Singapore with three major tracks:
research papers, fast abstracts and the student doctoral program. Additional
workshops with more focused topics will also be held concurrently.

-------------------------------------------------------
Topics of Interests
-------------------------------------------------------
Topics of interest include, but are not limited to, the following:
* Security, Reliability, Availability, and
 Safety of Software Systems
* Fault Tolerance for Software Reliability Improvement
* Modeling, Prediction, Simulation, and Evaluation
* Validation, Verification, and Testing
* Metrics, Measurements, and Analysis
* Software Integration
* Methods and Theories
* Automation and Tools
* Industry Best Practices
* Benchmark and Empirical Studies

-------------------------------------------------------
Paper Submission
-------------------------------------------------------
Submit original manuscripts (not published or considered
elsewhere) with a maximum of ten pages (regular paper), eight pages
(workshop paper), six pages (Student Doctoral Program), and two pages (Fast
Abstract Track). Each paper should include a title, and the name and
affiliation of each author. Except for the Fast Abstract Track, each
submission should also include a 150-word abstract and up to 6 keywords. The
format of your submission must follow the guidelines for IEEE conference
proceedings.
The first author of a Student Doctoral Program submission must be a student.
At least one Best Paper Award will be presented by SSIRI 2010.

The authors of a number of selected papers of special merit will be invited
to submit an extended version of their papers for possible publication in a
special journal issue.

Detailed instructions for electronic paper submission and the review process
can be found at http://paris.utdallas.edu/ssiri10.
-------------------------------------------------------
Important Dates
-------------------------------------------------------
* October 15, 2009:    Workshop proposals due
* January  8, 2010:    Regular papers due
* February 10, 2010:   Workshop papers due
* February 10, 2010:   Student Doctoral Program due
* February 10, 2010:   Fast Abstract Track due
* March 10, 2010:      Author notification
* April 1, 2010:       Camera-ready due

-------------------------------------------------------
Conference Organizers
-------------------------------------------------------
General Chair
Jin Song Dong      (National University of Singapore)

Program co-Chairs
Ravi K. Madipadaga (Siemens Corporate Technology, India)
Jun Sun            (National University of Singapore)
Dianxiang Xu       (Dakota State University)

Steering Committee
Sam Keene          (IEEE Reliability Society, USA)
W. Eric Wong       (University of Texas at Dallas, USA)
Rajesh Subramanyan (Siemens Corporate Research, USA)
Fevzi Belli        (University of Paderborn, Germany)
Karama Kanoun      (LAAS-CNRS, France)

-------------------------------------------------------
General Inquiries
-------------------------------------------------------
For further information, please visit
http://paris.utdallas.edu/ssiri10 or send emails to Professor Eric Wong at
ewong at utdallas.edu and
Professor Jin Song Dong at dongjs at comp.nus.edu.sg.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20091219/4bec83a2/attachment.htm