[ecoop-info] FACS08. Deadlines extended (May 30, 2008)
Carlos Canal
canal at lcc.uma.es
Tue May 13 10:16:14 CEST 2008
Dear colleague,
Due to several requests, the deadline for submitting to FACS08
(Formal Aspects of Component Software,
http://www.iist.unu.edu/facs08/) has been extended to:
Abstracts : May 16, 2008 (optional submission)
Full papers: May 30, 2008
We can now confirm that the proceedings of FACS08 will be published
in ENTCS (Electronic Notes on Theoretical Computer Science) and a
special issue with selected papers will appear in SCP (Science of
Computer Programming) after the conference.
You are still in time to contribute to FACS08. If interested, please
send us your abstract as soon as possible so we can take your
submission into account for setting up the review process.
With our best regards,
Corina Pasareanu & Carlos Canal
FACS08 PC chairs
===================================================================
Formal Aspects of Component Software (FACS 2008)
Call for Papers
5th International Workshop on Formal Aspects of Component Software
September 10-12, 2008
Malaga, Spain
http://www.iist.unu.edu/facs08/
Submission deadline May 30, 2008
(optional abstracts submission, May 16, 2008)
Scope & Topics
==============
Component-based software emerged as a promising paradigm to
deal with the ever increasing need for mastering system
complexity, for enabling evolution and reuse, and for driving
software engineering into sound production and engineering
standards. However, many issues in component-based software
development remain open and challenging research questions. On
the other hand, formal methods are mathematically-based
techniques for the specification, development and verification
of software and hardware systems. Therefore, they are of great
use to set up formal foundations of component software and work
out challenging issues such as mathematical models for
components, their composition and adaptation, or rigorous
approaches to verification, deployment, testing and
certification.
The objective of FACS'08 is to bring together researchers in the
areas of component software and formal methods to promote a deep
understanding of this paradigm and its applications. The
workshop will also be interested in defining the common aspects
of components and component-based development. It is expected
that formal paper presentations will be followed by lively
discussions. Possible topics include, but are not limited to:
- formal models for software components and component interaction
- design and verification methods for component software
- component composition and deployment: models, calculi, languages
- component testing, re-engineering and reuse
- specification of extra-functional properties in component
software
- certification of components and software architectures
- component software vs. object orientation, multi-agent systems,
and aspect oriented development
- components for real-time, safety-critical, secure and/or embedded
systems
- standard models for software components (e.g. Fractal, GCM, etc.)
- industrial or experience reports, and case studies in
component software
- partial behaviour models for software components
- update and reconfiguration of component architectures
- component systems evolution and maintenance
- formal methods and modeling languages
- trust models for components
- autonomic components and self-managed applications
- formal / rigorous approaches to software adaptation and
self-adaptive systems
- formal aspects of Web services and business processes
- component-based Web services and service-oriented
architectures
FACS'08 is the fifth event in a series of workshops, founded
by the International Institute for Software Technology of the
United Nations University (UNU-IIST). The first FACS workshop
was co-located with FM'03 (Pisa, Italy, September 2003). The
following FACS workshops were organised as standalone event
respectively at UNU-IIST in Macau (October 2005), at Charles
University in Prague (September 2006), and at INRIA in
Sophia-Antipolis (September 2007). FACS'08 is planned again as a
separate event organised by the University of Malaga in
September 2008.
Submission & proceedings
========================
Submissions to the workshop should present original research
which is unpublished and not submitted for publication
elsewhere. Papers will be judged on the basis of originality,
relevance, technical soundness and presentation quality. Papers
should be written in English and not exceed 15 pages in ENTCS
format. Note that to encourage submission of work still in
progress, we may also accept promising papers to be presented at
the workshop, and accept them conditionally for inclusion in the
ENTCS proceedings. Submission of papers will be in electronic
form via Easychair, accessible through the workshop website. The
final version of the paper must be prepared in LaTeX, adhering
to the ENTCS format (see http://www.entcs.org/final.html).
A special issue on FACS 2008 will be published on Science
of Computer Programming (SCP). Selected participants
will be invited to submit an extended version of their papers
after the workshop. These extended versions will be reviewed by
an international program committee, which will decide on their
final publication on the special issue.
Important dates
===============
Abstract submission: May 16, 2008 (optional)
Paper submission: May 30, 2008
Acceptance notification: June 27, 2008
Camera ready: July 25, 2008
Workshop: September 10-12, 2008
Keynote speakers
================
The invited speakers for the 2008 edition will be Jeff Magee from the
Imperial College (United Kingdom), and Ralf Reussner from the
University of Karlsruhe, in Germany.
Program chairs
==============
Carlos Canal (University of Malaga, Spain)
Corina Pasareanu (NASA Ames Research Center, USA)
Program committee
===================================
Farhad Arbab, CWI, The Netherlands
Luis Barbosa, University of Minho, Portugal
Frank S. de Boer, CWI, The Netherlands
Tevfik Bultan, University of California at Santa Barbara
Carlos Canal, University of Malaga, Spain (PC chair)
Paolo Ciancarini, Universita di Bologna, Italy
Dimitra Giannakopoulou, NASA Ames Research Center, USA
Rolf Hennicker, Ludwig-Maximilians-Universitaet Muenchen, Germany
Atsushi Igarashi, University of Kyoto, Japan
Sarfraz Khurshid, University of Texas at Austin, USA
Zhiming Liu, UNU-IIST, Macau, China
Markus Lumpe, Swinburne University of Technology, Australia
Eric Madelaine, INRIA, Centre Sophia Antipolis, France
Jeff Magee, Imperial College, United Kingdom
Rupak Majumdar, University of California at Berkeley, USA
Vladimir Mencl, Charles University, Czech Republic,
and University of Canterbury, New Zealand
Marius Minea, Politehnica University of Timisoara, Romania
Corina Pasareanu, NASA Ames Research Center, USA (PC chair)
Frantisek Plasil, Charles University, Czech Republic
Pascal Poizat, ARLES Project-team, INRIA
and University of Evry, France
Ralf Reussner, Universitaet Karlsruhe, Germany
Bernhard Schaetz, Technical University of Munich, Germany
Clemens A. Szyperski, Microsoft, USA
Carolyn Talcott, SRI International, USA
Emilio Tuosto, University of Leicester, United Kingdom
Kurt Wallnau, Carnegie-Mellon University, USA
Steering Committee
==================
Zhiming Liu (IIST UNU, Macau, China, chair)
Farhad Arbab (CWI, The Netherlands)
Luis Barbosa (Universidade do Minho, Portugal)
Markus Lumpe (Swinburne University of Technology, Australia)
Eric Madelaine (INRIA, Sophia-Antipolis, France)
Vladimir Mencl (Charles University, Prague, Czech Republic,
and University of Canterbury, New Zealand)
Bernhard Schaetz (Technical University of Munich, Germany)
Organising committee
====================
Javier Camara (Universidad de Malaga, Spain)
Carlos Canal (Universidad de Malaga, Spain)
Javier Cubo (Universidad de Malaga, Spain)
Antonio Martin (Universidad de Malaga, Spain)
Meriem Ouederni (Universidad de Malaga, Spain)
Ernesto Pimentel (Universidad de Malaga, Spain)
Gwen Salaun (Universidad de Malaga, Spain)
\|/ ///
@(. .)@ @(. .)@
+--oOO-(_)-OOo---------------------oOO-(_)-OOo--+
| Carlos Canal E-mail: canal at lcc.uma.es |
| URL: http://www.lcc.uma.es/~canal |
| |
| Depto. Lenguajes y Ciencias de la Computacion |
| E.T.S.I Informatica |
| Universidad de Malaga |
| Campus de Teatinos s/n |
| 29071 - Malaga (SPAIN) |
| |
| Phone: +34 95 213 3311 Fax: +34 95 213 1397 |
+-----------------------------------------------+
| | | | | |
| | | | | |
| | | | | |
___| | |___ ___| | |___
(_____|_____) (_____|_____)
More information about the ecoop-info
mailing list