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

[PVS] [qest-announce] CFP: 15th IEEE Intl. Conf. on Engineering ofComplex Computer Systems (ICECCS 2010)



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, 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 experience reports should present 
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 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 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
-----------------------------------------------------------------------

-- 
Professor Marta Kwiatkowska
Fellow of Trinity College
Director of Graduate Studies

Oxford University Computing Laboratory
Wolfson Building, Parks Road
Oxford, OX1 3QD

Tel: +44 (0)1865 283509 (office)
Email: Marta.Kwiatkowska@comlab.ox.ac.uk
URL: http://web.comlab.ox.ac.uk/people/Marta.Kwiatkowska/
_______________________________________________
qest-announce mailing list
qest-announce@iti.uiuc.edu
http://mailman.crhc.uiuc.edu/mailman/listinfo/qest-announce