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

[PVS] ICECCS 2012 EXTENDED DEADLINE



EXTENDED DEADLINE : ICECCS 2012
****************************************************************************
  CALL FOR PAPERS:  ICECCS 2012
  http://www.iceccs.org/

  17th Annual IEEE International Conference on the
  Engineering of Complex Computer Systems (ICECCS)
  sponsored by the IEEE Technical Committee on Complexity in Computing (TCCX)
  Organized under the guidance of the CESAMES non profit organization

  July 18-20,2012
  Ecole Normale Superieure, Paris - FRANCE

*****************************************************************************

                Extended Submission deadline: March 1st, 2012
                ---------------------------------------------

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. Additionally, submissions of
poster papers are sought for two separate poster sessions: an "ongoing
research" poster session, and a "PhD research" poster session. 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
- Achitecture software
- Big Data Management
- Sensor Networks and Ubiquitous Computing
- 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 novel research,
lessons learned, experience reports, and discussions 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 with
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 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.

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 posters will be
published in the conference proceedin


Submission of Papers:
====================

Submitted manuscripts should be in English and formatted in the style of
the IEEE Computer Society Proceedings Format. Papers should not exceed 10
pages for full papers and 2 pages for poster papers, including figures,
references, and appendices. All submissions should be in PDF format.
Submissions not adhering to the specified format and length may be
rejected immediately, without review.

See the submission guidelines on the conference web site.

Important Dates:
================

Submission of all papers                      March 1, 2012
Notification of acceptance                    March 30, 2012
Camera-ready material for publication         April 15, 2012
Registration deadline for authors             May 15, 2012
Early registration deadline for non-authors   May 30, 2012


General Chair:
==============
Daniel Krob, Laboratoire d'Informatique (LIX), Ecole Polytechnique and CNRS, France

Finance Chair:
==============
Isabelle Perseil, INSERM, France

Publicity Chair:
================
Alice Parisot, CESAMES, France

Program Chairs:
===============
Karin Breitman, Pontificia Universidade Catolica do Rio de Janeiro, Brazil

Isabelle Perseil, INSERM, France

Marc Pouzet, ENS-INRIA, France


Program Committee:
==================
-Mithun Acharya, ABB Corporate Research, United States
-Marc Aiguier, Ecole Centrale Paris, France
-Yamine Aitameur, LISI/ENSMA, France
-Luis Almeida, Fac. de Eng. da Universidade do Porto, Portugal
-Keijiro Araki, Kyushu University, Japan
-Luciano Baresi, DEI - Politecnico di Milano, Italy
-Jonathan P.Bowen, London South Bank University, United Kingdom
-Karin Breitman, PUC-Rio, Brazil
-Phil Brooke, University of Teesside, United Kingdom
-Jean-Michel Bruel, IRIT, France
-Michael Butler, University of Southampton, United Kingdom
-Jürgen Börstler, Blekinge Institute of Technology, Sweden
-Radu Calinescu, Aston University, United Kingdom
-Corina Cirstea, University of Southampton, United Kingdom
-Agostino Cortesi, Universita' Ca' Foscari di Venezia, Italy
-Jim Davies, University of Oxford, United Kingdom
-Julien Delange, European Space Agency, Netherlands
-Juan Antonio De La Puente, Universidad Politécnica de Madrid, Spain
-Felicita  Di Giandomenico, ISTI-CNR, Italy
-Marco Di Natale, Scuola Superiore SantAnna, Italy
-Simone Diniz Junqueira Barboza, PUC-Rio, Brazil
-Gilles Dowek, INRIA, France
-Kerstin Eder, University of Bristol, United Kingdom
-Franck Fleurey, SINTEF, Norway
-Carlo Alberto Furia, ETH Zurich, Switzerland
-Sebastien Gerard, CEA, LIST, France
-Jean-Paul Gibson, Telecom & Management SudParis,France
-Mark Grechanik, Accenture Labs, United States
-Lindsay Groves, Victoria University of Wellington, New Zealand
-Esther Guerra, Universidad Autónoma de Madrid, Spain
-Sylvain Hallé, UQAC, Canada
-Jérôme Hugues, ISAE, France
-Shinji Kikuchi, Fujitsu Laboratories, Japan
-Joseph Kiniry, IT University of Copenhagen, Denmark
-Ralf Laemmel, Universität Koblenz-Landau, Germany
-Regine Laleau, Paris Est Creteil University, France
-Phillip Laplante, Penn State University, United States
-Johan Lilius, bo Akademi University, Finland
-Jaime Lloret, Polytechnic University of Valencia, Spain
-Gerald Luettgen, University of Bamberg, Germany
-Tom Maibaum, McMaster University, Canada
-Tiziana Margaria, Potsdam University, Germany
-Julie Mccann, Imperial College, United Kingdom
-Dominique Mery, Université Henri Poincaré Nancy 1, France
-Raffaela Mirandola, Politecnico di Milano, Italy
-Andrea Omicini, Università di Bologna, Italy
-Flavio Oquendo, European University of Brittany – UBS/VALORIA, France
-Laurent Pautet, Telecom Paristech, France
-Isabelle Perseil, INSERM, France
-Robert Pettit, The Aerospace Corporation, United States
-Marc Pouzet, ENS-INRIA, France
-Arend Rensink, University of Twente, Netherlands
-Bernhard Rumpe, RWTH Aachen University, Germany
-Camille Salinesi, Université Paris 1 Panthéon - Sorbonne, France
-Ricardo Sanz, Universidad Politecnica de Madrid, Spain
-Cristina Seceleanu, Mälardalen University, Sweden
-Bran Selic, Malina Software Corp, Canada
-Florian Skopik, Vienna University of Technology, Austria
-Oleg Sokolsky, University of Pennsylvania, United States
-Volker Stolz, University of Oslo, Norway
-Jing Sun, The University of Auckland, New Zealand
-Jörn Guy Süß, ITEE, The University of Queensland, Australia
-Kenji Taguchi, AIST, Japan
-Dalila Tamzalit, University of Nantes, France
-Bedir Tekinerdogan, Bilkent University, Turkey
-Massimo Tisi, AtlanMod, INRIA & Ecole des Mines de Nantes, France
-Antonio Vallecillo, University of Malaga, Spain
-Tullio Vardanega, University of Padua, Italy
-Emil Vassev, University College Dublin, Ireland
-Jens Weber, University of Victoria, Canada
-Juan Ye, University of St Andrews, United Kingdom
-Bechir Zalila, ReDCAD Laboratory, University of Sfax, Tunisia
-Naijun Zhan, Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences, China
-Miaomiao Zhang, Tongji University, China
-Jianjun Zhao, School of Software, Shanghai Jiao Tong University, China
-Huibiao Zhu, East China Normal University, China
-Steffen Zschaler, King's College London,United Kingdom