CALL FOR PAPERS The Twelfth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2007) The University of Auckland, New Zealand, 11-14 July 2007 http://www.cs.auckland.ac.nz/iceccs07/ ----------------------------------------------------------------------- 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. ----------------------------------------------------------------------- SCOPE AND TOPICS ----------------------------------------------------------------------- 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 Systems + 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. ----------------------------------------------------------------------- PAPER SUBMISSION ----------------------------------------------------------------------- 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. ----------------------------------------------------------------------- WORKSHOP PROPOSAL SUBMISSION ----------------------------------------------------------------------- If you are interested in proposing Workshops, please contact Steve Reeves <[log in to unmask]>. There will also be a Special Session on Grand Challenges --- Complex Program Verifier. If you are interested in this, please contact Jim Woodcock <[log in to unmask]>. ----------------------------------------------------------------------- IMPORTANT DATES ----------------------------------------------------------------------- Abstract submission: January 5, 2007 Paper submission: January 20, 2007 Workshop proposal submission: February 20, 2007 Notification of acceptance: March 9, 2007 Camera ready copy due: April 8, 2007 ----------------------------------------------------------------------- KEYNOTE SPEAKERS ----------------------------------------------------------------------- Jim Woodcock, University of York, United Kingdom Wolfram Schulte, Microsoft Research, USA Paul Strooper, The University of Queensland, Australia ----------------------------------------------------------------------- CONFERENCE ORGANIZERS ----------------------------------------------------------------------- GENERAL CHAIRS Michael G Hinchey, NASA Goddard Space Flight Center, USA Gillian Dobbie, The University of Auckland, New Zealand PROGRAM CHAIRS Jin Song Dong, National University of Singapore, Singapore Jing Sun, The University of Auckland, New Zealand WORKSHOP CHAIR Steve Reeves, The University of Waikato, New Zealand SPECIAL SESSION CHAIR Jim Woodcock, Special Session Chair on Grand Challenges - Complex Program Verifier, University of York, United Kingdom LOCAL ORGANIZATION CHAIR John Hamer, The University of Auckland, New Zealand SPONSORSHIP CHAIR Ian Warren, The University of Auckland, New Zealand PROGRAM COMMITTEE 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