From: Robert France <>
Date: Wed, 11 Oct 2006 10:44:14 +0100
Message-ID: <>
The following conference may be of interest to those of you working on 
rigorous modeling of complex software systems.



The Twelfth IEEE International Conference on Engineering of Complex
computer systems (ICECCS 2007)

The University of Auckland, New Zealand, 11-14 July 2007

Complex computer systems are common in many sectors, such as
manufacturing, communications, defense, transportation, aerospace,
hazardous environments, energy, and health care. These systems are
frequently distributed over heterogeneous networks, and are driven by
many diverse requirements on performance, real-time behavior, fault
tolerance, security, adaptability, development time and cost, long life
concerns, and other areas. Such requirements frequently conflict, and
their satisfaction therefore requires managing the trade-off among them
during system development and throughout the entire system life.

The goal of this conference is to bring together industrial, academic,
and government experts, from a variety of user domains and software
disciplines, to determine how the disciplines' problems and solution
techniques interact within the whole system. Researchers,
practitioners, tool developers and users, and technology transition
experts are all welcome. The scope of interest includes long-term
research issues, near-term complex system requirements and promising
tools, existing complex systems, and commercially available tools.

Papers are solicited in all areas related to complex computer-based
systems, including the causes of complexity and means of avoiding,
controlling, or coping with complexity. Topic areas include, but are
not limited to:

+ Avionics and Automobile Software
+ Content Production and Distribution Systems, Mobile and Multi-channel 
+ Context Awareness Computing
+ Formal Methods and Approaches to Manage and Control Complex Systems
+ Human Factors and Collaborative Aspects
+ Integration of Heterogeneous Technologies
+ Interoperability and Standardization
+ Pervasive and Ubiquitous Computing
+ Real-time and Embedded Systems
+ Sensor Network Systems and Applications
+ Software and System Development and Control Processes for Complex Systems
+ Software Architecture and System Engineering
+ Software Complexity Visualization
+ Systems and Software Safety and Security
+ Tools, Environments, and Languages for Complex Systems
+ Verification Techniques for Complex Software Systems
+ Virtual Environments for Managing Complexity
+ Web Services Modeling and Compositions

Different kinds of contributions are sought, including research papers,
lessons learned, status reports, and discussion of practical problems
faced by industry and user domains. The ultimate goal is to build a
rich and comprehensive conference program that can fit the interests
and needs of different classes of attendees: professionals,
researchers, managers, and students. A program goal is to organize
several sessions that include both academic and industrial papers on a
given topic and culminate panels to discuss relationships between
industrial and academic research.

Papers are divided into two categories: Technical Papers and Experience
Reports. The papers submitted to both categories will be reviewed by
program committee members, and papers accepted in either category will
be published in the conference proceedings. Technical papers should
describe original research, and industrial experience reports should
describe practical projects carried out in industry, and reflect on the
lessons learnt from them.

Submitted manuscripts should be in English and formatted in the style
of the IEEE Computer Society Proceedings Format. Papers should not
exceed 10 pages including figures, references, and appendices and be in
PDF format. Submissions of papers will be carried out electronically
via the Web (Submission Page). Authors of accepted papers will be
required to sign a copyright release form. IEEE Computer Society Press
will publish the proceedings. Final versions of accepted papers will be
limited to 10 pages in the aforementioned IEEE proceedings format.

Abstract submission: January 5, 2007
Paper submission: January 20, 2007
Notification of acceptance: March 9, 2007
Camera ready copy due: April 8, 2007

Jim Woodcock, University of York, United Kingdom
Wolfram Schulte, Microsoft Research, USA
Roger Duke, The University of Queensland, Australia

Michael G Hinchey, NASA Goddard Space Flight Center, USA
Gillian Dobbie, The University of Auckland, New Zealand

Jin Song Dong, National University of Singapore, Singapore
Jing Sun, The University of Auckland, New Zealand

Steve Reeves, The University of Waikato, New Zealand

Jim Woodcock, Special Session Chair on Grand Challenges - Complex
Program Verifier, University of York, United Kingdom

John Hamer, The University of Auckland, New Zealand

Ian Warren, The University of Auckland, New Zealand

Timo Aaltonen, Tampere University of Technology, Finland
Robert Amor, The University of Auckland, New Zealand
Doo-Hwan Bae, Korea Advanced Institute of Science and Technology, Korea
Pierfrancesco Bellini, University of Florence, Italy
Shawn Bohner, Virginia Tech, USA
Jan Bosch, Nokia Research Center, Finland
Jonathan Bowen, Museophile Limited, United Kingdom
Manfrey Broy, Technical University of Munich, Germany
Michael Butler, University of Southampton, United Kingdom
W.K. Chan, City University of Hong Kong, China
Albert M. K. Cheng, University of Houston, USA
Wei Ngan Chin, National University of Singapore, Singapore
Myra Cohen, University of Nebraska-Lincoln, USA
Jim Davies, University of Oxford, United Kingdom
Ewen Denney, RIACS / NASA Ames Research Center, USA
Jurgen Dingel, Queen's University, Canada
Jin Song Dong, National University of Singapore, Singapore
Jose Luiz Fiadeiro, University of Leicester, United Kingdom
Colin Fidge, Queensland University of Technology, Australia
Robert France, Colorado State University, USA
Yuxi Fu, Shanghai Jiaotong University, China
Chris George, United Nations University, China
Jeremy Gibbons, University of Oxford, United Kingdom
Lindsay Groves, Victoria University of Wellington, New Zealand
Volker Gruhn, University of Leipzig, Germany
Jun Han, Swinburne University of Technology, Australia
Ian Hayes, University of Queensland, Australia
Jane E. Hayes, University of Kentucky, USA
John Hosking, The University of Auckland, New Zealand
Zhenjiang Hu, University of Tokyo, Japan
Pankaj Jalote, Indian Institute of Technology Kanpur, India
Phillip Laplante, Penn State University, USA
Kung-Kiu Lau, The University of Manchester, United Kingdom
Kueng Hae Lee, Hankuk Aviation University, Korea
Xuandong Li, Nanjing University, China
Peter Lindsay, University of Queensland, Australia
Zhiming Liu, United Nations University, China
Shaoying Liu, Hosei University, Japan
Brendan Mahony, Defence Science and Technology Organisation, Australia
Andrew Martin, University of Oxford, United Kingdom
Hong Mei, Peking University, China
Huaikou Miao, Shanghai University, China
Shin Nakajima, National Instutite of Informatics, Japan
Paolo Nesi, University of Florence, Italy
Richard Paige, University of York, United Kingdom
Sungyong Park, Sogang University, Korea
Mauro Pezze, University of Lugano, Switzerland
Shengchao Qin, Durham University, United Kingdom
Zhongyan Qiu, Peking University, China
Steve Reeves, The University of Waikato, New Zealand
Motoshi Saeki, Tokyo Institute of Technology, Japan
Emil Sekerinski, McMaster University, Canada
Rudolph E. Seviora, University of Waterloo, Canada
Xiaoyu Song, Portland State University, USA
Mark Staples, National ICT Australia, Australia
Frank Stomp, Wayne State University, USA
Paul Strooper, The University of Queensland, Australia
Jing Sun, The University of Auckland, New Zealand
Paul Swatman, University of South Australia, Australia
Kenji Taguchi, National Institute of Informatics, Japan
Tetsuo Tamai, The University of Tokyo, Japan
Mark Utting, The University of Waikato, New Zealand
Farn Wang, National Taiwan University, Taiwan
Hai Wang, The University of Manchester, United Kingdom
Ian Warren, The University of Auckland, New Zealand
Jim Woodcock, University of York, United Kingdom
Wang Yi, Uppsala University, Sweden
Huiqun Yu, East China University of Science and Technology, China
Daqing Zhang, Institute for Infocomm Research, Singapore
Hong Zhu, Oxford Brookes University, United Kingdom
Robert B. France, Professor       | Tel: 970-491-6356
Computer Science Department       | Fax: 970-491-2466
Colorado State University         | Email:
Fort Collins, CO 80523            |

PLEASE NOTE: I am currently away on sabbatical at Lancaster
University, UK. My address in Lancaster is:

Computing Department
South Drive
Lancaster University
Lancaster LA1 4WA
Tel: +44-(0)1524-510307
Fax: +44-(0)1524-510492
Received on Wed 11 Oct 2006 - 10:44:34 BST