posted by user: jcmoreno || 5573 views || tracked by 13 users: [display]

FACS 2012 : 9th International Symposium on Formal Aspects of Component Software


Conference Series : Formal Aspects of Component Software
When Sep 12, 2012 - Sep 14, 2012
Where Mountain View, USA
Abstract Registration Due Jun 8, 2012
Submission Deadline Jun 15, 2012
Notification Due Jul 27, 2012
Final Version Due Aug 13, 2012

Call For Papers


First Call for Papers

FACS 2012

9th International Symposium
Formal Aspects of Component Software

Mountain View, USA, September 12-14, 2012


* 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 paradigm.

FACS 2012 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

* Topics of interest *

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,
business processes, and cloud computing

* design and verification methods for software components and

* composition and deployment: models, calculi, languages

* formal methods and modeling languages for components and

* model based and GUI based testing of components and services

* 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

* component systems evolution and maintenance

* autonomic components and self-managed applications

* formal and rigorous approaches to software adaptation and
self-adaptive systems

* Submissions *

We solicit high-quality submissions reporting on (as related to topics
mentioned above):

* 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);

In addition, we also solicit submissions to the Doctoral Track of FACS
2012, 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. Papers should be formatted
according to the guidelines for Springer LNCS papers (more information
for LNCS authors).

Paper submission will be done electronically via Easychair:

All accepted papers will appear in the pre-proceedings of FACS
2012. 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 the 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 *

Abstract submission: June 8, 2012
Paper submission: June 15, 2012
Notification: July 27, 2012
Final version due: August 13, 2012
Symposium: September 12-14, 2012

* Program Co-Chairs *

Corina Pasareanu, NASA Ames, USA
Gwen Salaun, Grenoble INP, INRIA, France

* Publicity Chair *

Javier Camara, University of Coimbra, Portugal

* Program Committee *

Erika Abraham, RWTH Aachen University, Germany
Farhad Arbab, CWI and Leiden University, The Netherlands
Christian Attiogbe, University of Nantes, France
Christel Baier, Technical University of Dresden, Germany
Luis Barbosa, University of Minho, Portugal
Frank de Boer, CWI, The Netherlands
Roberto Bruni, University of Pisa, Italy
Carlos Canal, University of Malaga, Spain
Jose Luiz Fiadeiro, University of Leicester, UK
Carlo Ghezzi, Politecnico di Milano, Italy
Rolf Hennicker, Ludwig-Maximilians-Universitat Munich, Germany
Zhiming Liu, IIST UNU, Macau
Markus Lumpe, Swinburne University of Technology, Australia
Eric Madelaine, INRIA, Centre Sophia Antipolis, France
Sun Meng, Peking University, China
John Mullins, Polytechnical School of Montreal, Canada
Peter Olveczky, University of Oslo, Norway
Corina Pasareanu, NASA Ames, USA
Frantisek Plasil, Charles University, Czech Republic
Pascal Poizat, University of Evry Val d'Essonne, France
Shaz Qadeer, Microsoft, USA
John Rushby, SRI International, USA
Gwen Salaun, Grenoble INP, INRIA, France
Bernhard Schaetz, fortiss GmbH, Germany
Nishant Sinha, NEC Labs, Princeton, USA
Marjan Sirjani, Reykjavik University, Iceland
Volker Stolz, University of Oslo, Norway
Carolyn Talcott, SRI International, USA
Oksana Tkachuk, NASA Ames, USA
Sebastian Uchitel, University of Buenos Aires, Argentina
Gianluigi Zavattaro, University of Bologna, Italy

* Steering Committee *

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

Related Resources

AMAI 2021   Annals of Mathematics and Artificial Intelligence Special Issue on Theoretical and Practical Aspects of Unification
ICAASE 2020   The 4th International Conference on Advanced Aspects of Software Engineering
ISSTA 2021   International Symposium on Software Testing and Analysis
FM 2021   Formal Methods 2021
ASE 2021   The 36th IEEE/ACM International Conference on Automated Software Engineering
SA-TTA 2021   The 9th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 36th ACM/SIGAPP Symposium On Applied Computing (SAC 2021)
SANER 2021   The 28th edition of the IEEE International Conference on Software Analysis, Evolution and Reengineering
SOFSEM 2021   47th International Conference on Current Trends in Theory and Practice of Computer Science
CCBD--Ei Compendex & Scopus 2021   2021 The 8th International Conference on Cloud Computing and Big Data (CCBD 2021)--Ei Compendex & Scopus
ICSESS 2021   2021 12th International Conference on Software Engineering and Service Science