ICECCS'10 Call for Papers



ICECCS'10 Call for Papers

From: Dimitris Kolovos <dskolovos_at_gmail.com>
Date: Tue, 01 Sep 2009 13:37:04 +0100
Message-ID: <4A9D1570.2010603@gmail.com>
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
Received on Tue 01 Sep 2009 - 13:37:22 BST