[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS-ANNOUNCE] CFP: 10th International Conference on QualitySoftware (QSIC 2010) : Deadline Jan 4, 2010



****************************************************************************
****
QSIC 2O1O: 10th International Conference on Quality Software
July 14-15, 2010
Zhangjiajie, China
****************************************************************************
****
CFP: http://i.cs.hku.hk/~qsic/Qx10/qx10_files/qsic10cfp.pdf
Conference website: http://www.nudt.edu.cn/qsic2010
Submission website: http://www.easychair.org/conferences/?conf=qsic10

**** Submission Deadline Extended to January 4, 2010. ****
**** Journal Special Issue: Software - Practice and Experience ****


BACKGROUND
----------
Software is playing an ever-increasing role in our society. On the other
hand, 
software systems often fail to deliver as promised. It is widely known that 
unresolved errors remain in many software systems that we are using every
day.

The QSIC series of conferences provide a forum to bring together researchers
and
practitioners working towards improving the quality of software. It focuses
on 
innovative methodologies, techniques, tools, management and applications in
this 
challenging area, and exchange ideas on them.

The preceding conferences in the series were held over four continents, in 
Hong Kong; Dallas, USA; Braunschweig, Germany; Melbourne, Australia;
Beijing, 
China; Portland, Oregon, USA; Oxford, UK; and Jeju, Korea. Since 2009, 
IEEE Reliability Society has been one of the sponsors of the conference.


CALL FOR PAPERS
---------------
QSIC 2010 will be held in Zhangjiajie, China, an UNESCO World Natural
Heritage 
famous for its magnificent views. It will be a two-day event to be held on 
July 14-15, 2010.

QSIC 2010 will include the main conference and co-located workshops. IEEE 
Computer Society Press will publish the conference proceedings consisting of

carefully reviewed manuscripts accepted by the program committee. The QSIC 
series of conference had received overwhelming and very positive response
from 
academia and industry.

For every year, the top few articles among the accepted articles were also 
published, in their extended form, in a special issue of an international, 
respectful and SCI-indexed archival journal. For QSIC 2010, authors of
selected 
papers will be invited to submit an extended version of their articles to a 
special issue of Software: Practice and Experience.

TOPICS OF INTERESTS
-------------------
Topics of interest include, but are not limited to, the following:

  Software testing: automation, conformance, strategies, tools, standards, 
                    economics, performance and robustness, processes and 
                    standards

  Software quality: management and assurance, measurement and benchmarking, 
                    review, inspection and walkthrough, reliability, safety 
                    and security

  Methods and tools: design tools, testing tools, information systems 
                     engineering, quality tools

  Evaluation of software products and components: static and dynamic
analysis, 
                                                  validation and
verification

  Information and knowledge management: economics of software quality, 
                                        knowledge engineering

  Formal methods: program analysis, model checking, model construction, 
                  formal process models

  Component software and reuse: requirements engineering, software
architecture, 
                                middleware and application servers,
reflective 
                                systems

  Emerging technology: pervasive computing, service oriented computing, grid

                       software, cloud computing, intelligent systems

  Applications: component-based systems, digital libraries, distributed
systems, 
                e-commerce, embedded systems, enterprise applications, 
                information systems, multimedia, Web-based systems, safety 
                critical systems

SUBMISSION
----------
All submissions must be in English and the author's original work that have
not 
been published and/or submitted for consideration of publication anywhere
else. 
The papers must be in IEEE Conference Proceedings format with no more than
10 pages
for a long paper and no more than 6 pages for a short paper. Submissions
must be in 
PDF format and uploaded to the conference website before the deadline date. 

The submission website is http://www.easychair.org/conferences/?conf=qsic10
.


Please refer to the conference website (http://www.nudt.edu.cn/qsic2010) 
for detailed guidelines.

JOURNAL SPECIAL ISSUE
---------------------
Selected authors will be invited to submit their extended papers for
possible 
publication in a special issue of Software:Practice and Experience.

IMPORTANT DATES
---------------
January 4, 2010 (extended): Deadline for paper submission
March 20, 2010: Notification to authors
May 5, 2010: Deadline for camera-ready versions
July 14-15, 2010: QSIC 2010 conference


StEERING COMMITTEE
------------------
Steering Committee Chair:

T.H. Tse             The University of Hong Kong, Hong Kong

Steering Committee Members:

T.Y. Chen            Swinburne University of Technology, Australia

Hans-Dieter Ehrich   Technische Universitaet Braunschweig, Germany

Huimin Lin           Institute of Software, Chinese Academy of Sciences,
China

Peter C. Poole       University of Melbourne, Australia

C.V. Ramamoorthy     University of California at Berkeley, USA

Stephen S. Yau       Arizona State University, USA

 

ORGANIZING COMMITTEE 
--------------------
General Chair:

Xicheng Lu          National Laboratory for Parallel and Distributed
Processing, 
                    China


Program Chairs:

Ji Wang             National Laboratory for Parallel and Distributed
Processing, 
                    China

Wing Kwong Chan     City University of Hong Kong, Hong Kong

Fei-Ching Kuo       Swinburne University of Technology, Australia


IEEE Reliability Society Liaison:

W. Eric Wong        University of Texas at Dallas, USA


Publicity and Publication Chair:

Xiaoying Bai        Tsinghua University, China


Organizing Chair:

Xiaoguang Mao       National University of Defense Technology, China


Local Organizer:

National Laboratory for Parallel and Distributed Processing, China


PROGRAM COMMITTEE
-----------------
Doo-Hwan Bae, KAIST, Korea

Xiaoying Bai, Tsinghua University, China

Fevzi Belli, Universitat Paderborn, Germany

Nikolaj Bjorner, Microsoft Research, USA

Maarten Boasson, University of Amsterdam, The Netherlands

Christof Budnik, Siemens Corporate Research, USA

Kai-Yuan Cai, Beihang University, China

Joao Cangussu, University of Texas at Dallas, USA

Alessandra Cavarra, Oxford University, UK

Xiaojun Chen, University of Windsor, Canada

S.C. Cheung, The Hong Kong University of Science and Technology, Hong Kong

Byoungju Choi, Ewha Womans University, Korea

William Chu, Tunghai University, Taiwan

Sam Chung, University of Washington, Tacoma, USA

Bojan Cukic, West Virginia university, USA

Tadashi Dohi, Hiroshima University, Japan

Gordon Fraser, Saarland University, Germany

Yuxi Fu, Shanghai Jiaotong University, China

Sudipto Ghosh, Colorado State University, USA

Swapna S. Gokhale, University of Connecticut, USA

Arnaud Gotlieb, INRIA Rennes Bretagne Atlantique, France

Wolfgang Grieskamp, Microsoft Research, USA

Yann-Gael Gueheneuc, Ecole Polytechnique de Montreal, Canada

Rajiv Gupta, University of California Riverside, USA

Walter Gutjahr, University of Vienna, Austria

Xudong He, Florida International University, USA

Rob Hierons, Brunel University, UK

Zhenjiang Hu, National Institute of Informatics, Japan

Pankaj Jalote, Indraprastha Institute of Information Technology, Delhi,
India

Stan Jarzabek, National University of Singapore, Singapore

Ross Jeffrey, The University of New South Wales and NICTA, Australia

Moonzoo Kim, KAIST, Korea

Sung Kim, The Hong Kong University of Science and Technology, Hong Kong

Victor Kuliamin, Russian Academy of Sciences, Russia

David Kung, University of Texas at Arlington, USA

Yvan Labiche, Carleton University, Canada

Richard Lai, La Trobe University, Australia

Yu Lei, University of Texas at Arlington, USA

Jenny Li, Avaya Labs Research, USA

Wenjun Li, Sun Yat-sen University, China

Xuandong Li, Nanjing University, China

Shaoying Liu, Hosei University, Japan

Michael R. Lyu, Chinese University of Hong Kong, Hong Kong

Xiaoguang Mao, National University of Defense Technology, China

Eda Marchetti, ISTI-CNR, Italy

Hong Mei, Peking University, China

Atif Memon, University of Maryland, College Park, USA

V. Krshna Nandivada, IBM Research Lab, India

Tien Nguyen, Iowa State University, USA

Atsushi Ohnishi, Ritsumeikan University, Japan

Amit M. Paradkar, IBM T.J. Watson Research Center, USA

Sooyong Park, Sogang University, Korea

Pak-Lok Poon, The Hong Kong Polytechnic University, Hong Kong

Alexander Pretschner, Fraunhofer IESE and TU Kaiserslautern, Germany

Gregg Rothermel, University of Nebraska - Lincoln, USA

Paul Strooper, The University of Queensland, Australia

Bo Sun, Beijing Normal University, China

Kenji Taguchi, National Institute of Informatics, Japan

Antony Tang, Swinburne University of Technology, Australia

Jeff Tian, Southern Methodist University, USA

Wei-Tek Tsai, AriZona State University, USA

Hasan Ural, University of Ottawa, Canada

Hans van Vliet, Vrije Universiteit, The Netherlands

Miroslav Velev, Aries Design Automation, USA

Huaimin Wang, National Laboratory for Parallel and Distributed Processing,
China

Qianxiang Wang, Peking University, China

Jun Wei, Chinese Academy of Sciences, China

W. Eric Wong, University of Texas at Dallas, USA

Franz Wotawa, Technische Universitaet Graz, Austria

Ji Wu, Beihang University, China

Min Xie, National University of Singapore, Singapore

Baowen Xu, Nanjing University, China

Y.T. Yu, City University of Hong Kong, Hong Kong

Xiangyu Zhang, Purdue University, USA

Jianjun Zhao, Shanghai Jiao Tong University, China

Thomas Zimmermann, Microsoft Research, USA

Hong Zhu, Oxford Brookes University, UK

Mohammad Zulkernine, University, Canada


CO-LOCATED WORKSHOPS
--------------------
W1.The First International Workshop on Program Debugging in China  
   Organized by Qianxiang Wang (Peking University), 
                T.H. Tse (The University of Hong Kong), and 
                Zhenyu Zhang (The University of Hong Kong)

W2. International Workshop on Quality of Service-Based Systems
    Organized by Xiaoying Bai (Tsinghua University), and 
                 Chunyang Ye (University of Toronto)

W3. Quality Software Practices: Towards Empirical Quality Software
    Organized by Sam Chung (University of Washington), 
                 Aneesh Krishna (Curtin University of Technology), and 
                 Sergio Davalos (University of Washington)

W4. International Workshop on Embedded System Software Development and
Quality Assurance
    Organized by William C. Chu (TungHai University), 
                 Chih-Hung Chang (Hsiuping Institute of Technology), and 
                 Pao-Ann Hsiung (National Chung Cheng University)



ENQUIRIES
---------
Please send all enquiries to qsic@cs.hku.hk