[Caml-list] FACS 2013 CFP

["Sun Meng " <sunmeng@math.pku.edu.cn>]

[-- Attachment #1: Type: text/plain, Size: 6993 bytes --]

FACS 2013: CALL FOR 
PAPERS

The 10th International Symposium on Formal Aspects of Component 
Software
Nanchang, China, October 28-30, 
2013

http://www.jxcsst.com/facs2013/

Scope
=====

Component-based 
software development is a paradigm that has been
proposing sound engineering 
principles and techniques for coping with
the complexity of 
software-intensive systems. However, many
challenging conceptual and 
technological issues remain that require
further research.

Moreover, 
the advent of service-oriented and cloud computing has
brought to the fore 
new dimensions, such as quality of service and
robustness to withstand 
inevitable faults, which require established
concepts to be revisited and new 
ones to be developed in order to meet
the opportunities offered by those 
architectures. As software
applications become themselves components of wider 
socio-technical
systems, further challenges arise from the need to create and 
manage
interactions, which can evolve in time and space, and rely on the use 
of
resources that can change in non-computable ways.

FACS 2013 is 
concerned with how formal methods can be used to make
component-based 
development fit for the new architectures of today
and the systems that are 
now pervading the socio-economic world.
Formal methods have provided 
foundations for component-based
software through research on mathematical 
models for components,
composition and adaptation, and rigorous approaches to 
verification,
deployment, testing, and certification. Whilst those avenues 
still need
to be further explored, time is also ripe to bring new techniques 
to the
fore, such as those based on stochastic models and 
simulation.

Topics of Interest
============

The symposium seeks 
to address the development and
application 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
-- stochastic techniques for modeling and verification
-- 
simulation techniques for complex networks of interacting components
-- 
formal aspects of services, service oriented architectures, business processes, 
and cloud computing
-- 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
-- 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 
systems

Call for Papers
=========

We solicit high-quality 
submissions reporting on (as related to topics mentioned here):
 [A] - original research contributions (18 
pages max);
 [B] - applications and 
experiences (18 pages max);
 [C] - 
surveys, comparisons, and state-of-the-art reports (18 pages max);
 [D] - tool papers (6 pages max);
In 
addition, we solicit submissions to the Doctoral Track of FACS 2013, in the form 
of abstracts (3 pages max) concisely capturing work in
progress, related 
topic, 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.

Important 
Dates
===========

-- Abstract submission: July 8, 2013
-- Paper 
submission: July 15, 2013
-- Notification: September 16, 2013
-- Final 
version due: October 7, 2013

Publications
========

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 
Springer's LNCS 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.

Keynote 
Speakers
===========

-- ZHOU Chaochen 
(http://sourcedb.cas.cn/sourcedb_is_cas/yw/zjrc/200908/t20090818_2415411.html), 

   Software Institute, Chinese 
Academy of Sciences 

-- Axel Legay (http://people.irisa.fr/Axel.Legay/), 
IRISA/INRIA, France

-- Jayadev Misra (http://www.cs.utexas.edu/~misra/), 
University of Texas at Austin, US

Organization
========

-- 
Conference Chair:  Jinyun Xue, Jiangxi 
Normal University, China

-- PC Chairs:
   José 
Luiz Fiadeiro, Royal Holloway, UK
   
Zhiming Liu, UNU-IIST, Macau SAR, China

-- Publicity Chair : Meng 
Sun, Peking University, China

-- PC Members:

Farhad Arbab, CWI and 
Leiden University, The Netherlands
Christian Attiogbe, University of Nantes, 
France
Luis Barbosa, Universidade do Minho, Portugal
Roberto Bruni, 
University of Pisa, Italy
Tevfik Bultan, University of California at Santa 
Barbara, US
Carlos Canal, University of Málaga, Spain
Chunqing Chen, HP Labs Singapore
Xin Chen, Nanjing 
University
Zhenbang Chen, National Laboratory for Parallel and Distributed 
Processing, China
Van Hung Dang, University of Engineering and Technology, 
Vietnam
Zhenhua Duan, Xidan University, China
Marcelo Frias, Instituto 
Tecnologico Buenos Aires, Argentina
Lindsay Groves, Victoria University of 
Wellington, New Zealand
Rolf Hennicker, 
Ludwig-Maximilians-Universität München, Germany
Axel Legay, IRISA/INRIA, Rennes
Jing Liu, East 
China Normal University
Shaoying Liu, Hosei University, 
Japan
Antónia Lopes, University of Lisbon, Portugal
Markus Lumpe, Swinburne 
University of Technology, Australia
Eric Madelaine, INRIA
Tom Maibaum, 
McMaster University, Canada
Dominique Mery, Université 
de Lorraine, France
Peter Olveczky, University of Oslo, Norway
Corina 
Pasareanu, CMU/NASA, US
Frantisek Plasil, Czech Republic
Pascal Poizat, 
Université Paris Ouest 
Nanterre La Défense, France
Shaz Qadeer, Microsoft Research
Markus 
Roggenbach, Swansea University
Gwen Salaün, Grenoble INP - INRIA - LIG, France
Bernhard Schätz, TU München, Germany
Marjan Sirjani, University, Reykjavik, Iceland
Meng 
Sun, Peking University, China
Neil Walkinshaw, The University of Leicester, 
UK
Farn Wang, National Taiwan University, Taiwan
Gianluigi Zavattaro, 
University of Bologna, Italy
Naijun Zhan, Institute of Software, 
China
Jianjun Zhao, Shanghai Jiao Tong University




[-- Attachment #2: Type: text/html, Size: 9708 bytes --]