-------- Original-Nachricht -------- Betreff: [isworld] ICECCS'10 Final Call for Papers Datum: Mon, 12 Oct 2009 10:52:41 +0000 Von: Dimitris Kolovos dskolovos@gmail.com Antwort an: Dimitris Kolovos dskolovos@gmail.com An: AISWORLD Information Systems World Network isworld@lyris.isworld.org
FINAL CALL FOR PAPERS
The Fifteenth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2010)
St Anne's College, University of Oxford, United Kingdom, 24-26 March 2010
http://web.comlab.ox.ac.uk/ICECCS2010/
----------------------------------------------------------------------- The success of key human activities ranging from research and business to everyday services relies on the use of ever more sophisticated, feature-rich and complex computer systems. These complex computer systems are regularly required to accomplish more, faster and on a broader scale, to adapt dynamically to changing workloads, scenarios and objectives, and to achieve guaranteed levels of performance and dependability. Satisfying such demanding requirements in the presence of the variability, heterogeneity and non-linear behaviour that characterise complex computer systems poses numerous challenges to both their developers and their users.
The aim of the conference is to bring together researchers, practitioners and leading experts from academia and industry, to advance the state of the art in the specification, development, validation and verification, and management of complex computer systems. -----------------------------------------------------------------------
SCOPE AND TOPICS ----------------------------------------------------------------------- Authors are invited to submit papers describing original, unpublished research results, case studies and tools. Topics of interest include but are not limited to the following aspects of complex computer systems:
* Requirement specification and analysis * Verification and validation * Model-driven development * Reverse engineering and refactoring * Design by contract * Agile methods * Safety-critical & fault-tolerant architectures * Adaptive, self-managing and multi-agent systems * Real-time, hybrid and embedded systems * Systems of systems * Tools and tool integration * Industrial case studies
Different kinds of contributions are sought, including: research papers, lessons learned, experience reports, discussion of practical problems faced by industry and user domains, and posters describing ongoing research or PhD research. 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.
Full papers are divided into two categories: Technical Papers and Experience Reports. The papers submitted to either category 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 experience reports should present practical projects carried out in industry, and reflect on the lessons learnt from them. ICECCS 2010 also hosts a special session on Complex Systems Modelling and Simulation; see below for further details of requirements for papers in this session.
Poster paper submissions should specify in their abstract whether they describe ongoing or PhD research. Both types of poster papers will be reviewed by program committee members, and accepted poster papers will be published in the conference proceedings. -----------------------------------------------------------------------
PAPER SUBMISSION ----------------------------------------------------------------------- Submitted manuscripts should be in English and formatted in the style of the IEEE Computer Society Proceedings Format. Full papers should not exceed 10 pages including figures, references, and appendices and be in PDF format; Poster papers should be no more than 2 pages in IEEE Computer Society Proceedings Format. Submissions not adhering to the specified format and length may be rejected immediately, without review.
Submissions of papers will be carried out electronically via the web site of the ICECCS Submission Service at
http://www.easychair.org/conferences/?conf=iceccs2010
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 (2 pages for Poster Papers) in the aforementioned IEEE proceedings format. -----------------------------------------------------------------------
IMPORTANT DATES ----------------------------------------------------------------------- Abstract submission deadline 23 Oct 2009 Paper submission deadline 30 Oct 2009 Author notification 18 Dec 2009 Final version due: 22 Jan 2010 -----------------------------------------------------------------------
KEYNOTE SPEAKERS ----------------------------------------------------------------------- Carlo Ghezzi, Politecnico di Milano, Italy Bill Roscoe, University of Oxford, UK -----------------------------------------------------------------------
GENERAL CHAIR ----------------------------------------------------------------------- Marta Kwiatkowska, University of Oxford, UK -----------------------------------------------------------------------
PROGRAM CHAIRS ----------------------------------------------------------------------- Radu Calinescu, University of Oxford, UK Richard Paige, University of York, UK -----------------------------------------------------------------------
PROGRAM COMMITTEE
Yamine Ait Ameur, ENSMA, France Simone Barbosa, PUC-Rio, Brazil Karin Breitman, PUC-Rio, Brazil Phil Brooke, University of Teesside, UK Michael Butler, University of Southampton, UK Jordi Cabot, University of Toronto, Canada Antonio Cerone, United Nations University, Macau Corina Cirstea, University of Southampton, UK Jim Davies, University of Oxford, UK Mieso Denko, University of Guelph, Canada Juergen Dingel, Queen's University, Canada Simon Dobson, University of St Andrews, UK Kerstin Eder, University of Bristol, UK Nicholas Graham, Queens University, Canada Lindsay Groves, Victoria University of Wellington, NZ Lars Grunske, Swinburne University, Australia Esther Guerra, Universidad Carlos III Madrid, Spain Gaetan Hains, University Paris-12, France Michael Harrison, Newcastle University, UK Shinji Kikuchi, Fujitsu, Japan Joe Kiniry, University College Dublin, Ireland Michal Konecny, Aston University, UK Fabrice Kordon, Universite Pierre & Marie Curie, France Philip Laplante, Penn State University, USA Kung-Kiu Lau, University of Manchester, UK Juan de Lara, Universidad de Madrid, Spain Gerald Luettgen, Universitat Bamberg, Germany Tom Maibaum, McMaster University, Canada Tiziana Margaria, Potsdam University, Germany Julie McCann, Imperial College, UK John McDermid, University of York, UK Paul McKee, BT, UK Raffaela Mirandola, Politecnica di Milano, Italy Isabelle Perseil, Telecom-Paristech, France Omer Rana, Cardiff University, UK Awais Rashid, Lancaster University, UK Bernhard Rumpe, RWTH-Aachen, Germany Doug Schmidt, Vanderbilt University, USA Cristina Seceleanu, Malardalen University, Sweden Janet Smart, University of Oxford, UK Oleg Sokolsky, University of Pennsylvania, USA Ian Sommerville, University of St. Andrews, UK Jing Sun, University of Auckland, New Zealand Steffen Zschaler, University of Lancaster, UK
---------------------------------------------------------------------- ICECCS 2010 Special Session: Complex Systems Modelling and Simulation
March 24-26, 2010 Oxford, UK iceccs@cosmos-research.org
----------------------------------------------------------------------- This special session of ICECCS 2010 (http://web.comlab.ox.ac.uk/ICECCS2010/) aims to provide a forum for research examining the modelling and simulation of complex systems. Complex systems are characterised by low-level components that communicate and interact in and with and within an environment, exhibiting high-level (emergent) behaviours. For example, natural complex systems that inspire engineering solutions might be swarms (natural, robots, UAVs) or ants (path finding, optimisation). Complex systems are modelled and simulated to try to understand behaviours: for instance, stock markets, social systems, predator-prey systems, spin glasses, simple liquid crystals. Finally, systems such as cellular automata provide an implementation platform for some forms of complex system. The special session concerns the engineering of such complex systems. Engineering covers, amongst other aspects, abstract modelling in diagrams or mathematics, computer simulation, verification and validation, and engineering environments.
Engineering complex systems is a challenging and interdisciplinary task. Elements might include choice of modelling tools and techniques, simulation infrastructures, concurrency and distribution, the process of moving from models to simulations, arguing validity of simulations, and the identification of reusable engineering techniques such as patterns.
The Special Session is supported by the EPSRC CoSMoS project http://www.cosmos-research.org/, a four-year initiative, based at the Universities of York and Kent, to develop a framework and infrastructure for the construction of of generic complex systems simulations. Accepted papers will appear in the ICECCS proceedings.
----------------------------------------------------------------------- AREAS OF INTEREST
Areas of interest include, but are not limited to:
* Abstract modelling and simulation of complex systems to support scientific enquiry or engineering * Modelling approaches that accommodate treatment of emergent behaviours * Aspects of complex-system simulation environments, including languages, concurrency, distribution and scalability * Engineering techniques and tools to support complex-system simulation environments, languages, concurrency and distribution and scalability, in areas such as model-to-code, testing, proof of properties, use of patterns and refactorings * Techniques for demonstrating the validity, or fitness-for-purpose, of models and simulations
Posters papers on these topics are invited from /current PhD students/. To contribute a poster, submit a poster paper (below) through the ICECCS conference submission (http://web.comlab.ox.ac.uk/ICECCS2010/cfp.html); accepted poster papers will be published in the IEEE proceedings, and posters displayed at the conference.
----------------------------------------------------------------------- SUBMISSIONS
Submitted manuscripts should be in English and formatted in the style of the IEEE Computer Society Proceedings Format. *Full papers* should not exceed 10 pages including figures, references, and appendices and be in PDF format. *Poster papers* should not exceed 2 pages including figures, references, and appendices and be in PDF format. Submissions not adhering to the specified format and length may be rejected immediately, without review.
Submissions of papers and poster papers will be carried out electronically via the web site of the ICECCS Submission Service at
http://www.easychair.org/conferences/?conf=iceccs2010
Please indicate during the submission process that your paper is for consideration to the ICECCS special session on Complex Systems Modelling and Simulation.
Authors of accepted papers and posters will be required to sign a copyright release form. IEEE Computer Society Press will publish the proceedings. Final versions of accepted full papers will be limited to 10 pages (2 pages for poster papers) in the aforementioned IEEE proceedings format.
----------------------------------------------------------------------- IMPORTANT DATES
*Abstract Submission:* 23 October 2009
*Paper Submission:* 30 October 2009
*Notification of acceptance:* 18 December 2009
*Camera ready copies:* 22 January 2010
*ICECCS 2010 Conference:* 22-26 March 2010
----------------------------------------------------------------------- SPECIAL SESSION CHAIRS
Fiona Polack Paul Andrews Adam Sampson
The AISWorld LISTSERV is a service of the Association for Information Systems (http://www.aisnet.org). To unsubscribe, redirect, or change subscription options please go to http://lyris.isworld.org/. You are subscribed to AISworld as: neumann@wu-wien.ac.at. Each Sender assumes responsibility that his or her message conforms to the AISWorld LISTSERV policy and conditions of use available at http://lyris.isworld.org/isworldlist.htm.