[TYPES/announce] 2nd CfP: 8th International Symposium on Formal Aspects of Component Software

Peter Csaba Ölveczky peterol at ifi.uio.no
Thu May 26 15:19:42 EDT 2011

                          Call for Papers

                             FACS 2011           

 8th International Symposium on Formal Aspects of Component Software

                 Oslo, Norway, September 14-16, 2011                



   *** Springer LNCS proceedings ***
   *** Science of Computer Programming special issue ***
   *** Abstract submission deadline: June 10 ***

Aims and Scope:

The component-based software development approach has emerged as a
promising paradigm to cope with the complexity of present-day software 
systems by bringing sound engineering principles into software engineering. 
However, many challenging conceptual and technological issues still remain 
in component-based software development theory and practice. Moreover, 
the advent of service-oriented computing has brought to the fore new 
dimensions, such as quality of service and robustness to withstand 
inevitable faults, that require revisiting established component-based 
concepts in order to meet the new requirements of the service-oriented 

FACS 2011 is concerned with how formal methods can be used to make
component-based and service-oriented software development succeed.
Formal methods have provided a foundation for component-based software
by successfully addressing challenging issues such as mathematical 
models for components, composition and adaptation, or rigorous 
approaches to verification, deployment, testing, and certification.

The symposium seeks to address the applications of formal methods in
all aspects of software components and services. Specific topics include,
but are not limited to:

- formal models for software components and their interaction
- formal aspects of services, service oriented architectures, 
    and business processes
- design and verification methods for software components and services
- composition and deployment: models, calculi, languages
- formal methods and modeling languages for components and services
- model based and GUI based testing of components and services
- component/service re-engineering and reuse
- models for QoS and other extra-functional properties (e.g., trust, compliance,
    security) of components and services
- components for real-time, safety-critical, secure, and/or embedded systems
- industrial or experience reports, and case studies
- update and reconfiguration of component and service architectures
- component systems evolution and maintenance
- autonomic components and self-managed applications
- formal and rigorous approaches to software adaptation and self-adaptive 

Past Events:

FACS'11 is the eighth event in a series of events founded by the
International Institute for Software Technology of the United Nations
University (UNU-IIST). The previous workshops in the FACS series were
held in Pisa (September 2003, co-located with FM'03), Macau
(October 2005), Prague (September 2006), Sophia-Antipolis (September 2007),
Malaga (September 2008), Eindhoven (October 2009, held as part of the Formal
Methods Week), and Guimaraes (October 2010).

Invited speakers:

Jose Meseguer   (University of Illinois at Urbana-Champaign)
John Rushby     (SRI International)


We solicit high-quality submissions reporting on:

A- original research contributions (18 pages max, LNCS format);
B- applications and experiences (18 pages max, LNCS format);
C- surveys, comparisons, and state-of-the-art reports (18 pages max, LNCS format);
D- tool papers (6 pages max, LNCS format);

related to the topics mentioned above.

In addition, we also solicit submissions to the Doctoral Track of FACS 2011,
in the form of abstracts (2 pages, LNCS format) concisely capturing
PhD-work-in-progress, related theme, context, research questions,
envisaged contributions, and partial results.

All submissions must be original, unpublished, and not submitted concurrently
for publication elsewhere.  Paper submission will be done electronically 
via EasyChair at http://www.easychair.org/conferences/?conf=facs2011. 
The final version of the paper must be prepared in LaTeX, adhering to 
the LNCS format.


All accepted papers will appear in the pre-proceedings of FACS 2011.
Revised versions of accepted papers in the categories A-D above will appear in
the post-proceedings of the symposium that will be published as a volume in
Springer's Lecture Notes in Computer Science series.

The authors of a selected subset of accepted papers will be invited to submit
extended versions of their papers to appear in a special issue of the
Science of Computer Programming journal.

Important dates:

Categories A-D abstract submission: June 10, 2011
Categories A-D submission: June 17, 2011
Categories A-D acceptance notification: August 9, 2011

Doctoral Track submission: August 12, 2011
Doctoral Track acceptance notification: August 20, 2011

Symposium: September 14-16, 2011


FACS 2011 is hosted by the Department of Informatics at the University of Oslo.
The symposium will take place in the new modern computer science building
on the main campus of the university.

Oslo is the capital city of Norway, and is mentioned as one
of the "31 places to go to in 2010" by The New York Times.

Program chairs:

Farhad Arbab       (Leiden University and CWI, The Netherlands) and
Peter Olveczky     (University of Oslo, Norway)

Program committee:

Erika Abraham      (RWTH Aachen University, Germany)
Farhad Arbab       (Leiden University and CWI, The Netherlands) 
Christel Baier     (Technical University of Dresden, Germany)
Luis Barbosa       (University of Minho, Portugal)
Mihaela Bobaru     (NASA/JPL, USA)
Frank de Boer      (CWI, The Netherlands)
Christiano Braga   (Universidade Federal Fluminense, Brazil)
Roberto Bruni      (University of Pisa, Italy)
Carlos Canal       (University of Malaga, Spain)
Francisco Duran    (University of Malaga, Spain)
Rolf Hennicker     (Ludwig-Maximilians-Universitaet Munich, Germany)
Alexander Knapp    (Augsburg University, Germany)
Zhiming Liu        (IIST UNU, Macau)
Markus Lumpe       (Swinburne University of Technology, Australia)
Eric Madelaine     (INRIA, Sophia Antipolis, France)
Sun Meng           (Peking University, China)
Peter Olveczky     (University of Oslo, Norway)
Corina Pasareanu   (NASA Ames, USA)
Frantisek Plasil   (Charles University, Czech Republic)
Gwen Salaun        (Grenoble INP - INRIA, France)
Bernhard Schaetz   (fortiss GmbH, Germany)
Wolfram Schulte    (Microsoft Research, Redmond, USA)
Nishant Sinha      (NEC Labs, Princeton, USA)
Marjan Sirjani     (Reykjavik University, Iceland)
Volker Stolz       (University of Oslo, Norway)
Carolyn Talcott    (SRI International, USA)
Emilio Tuosto      (University of Leicester, UK)

Steering Committee:

Zhiming Liu (coordinator)   (IIST UNU, Macau)
Farhad Arbab                (Leiden University and CWI, The Netherlands)
Luis Barbosa                (University of Minho, Portugal)
Carlos Canal                (University of Malaga, Spain)
Markus Lumpe                (Swinburne University of Technology, Australia)
Eric Madelaine              (INRIA, Sophia-Antipolis, France)
Peter Olveczky              (University of Oslo, Norway)
Corina Pasareanu            (NASA Ames, USA)
Bernhard Schaetz            (fortiss GmbH, Germany)


(web)    http://facs2011.ifi.uio.no
(email)  facs-2011 at ifi.uio.no

More information about the Types-announce mailing list