From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 103A97EE1B for ; Fri, 30 Nov 2012 15:37:03 +0100 (CET) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of sunmeng@math.pku.edu.cn) identity=pra; client-ip=162.105.129.21; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="sunmeng@math.pku.edu.cn"; x-sender="sunmeng@math.pku.edu.cn"; x-conformance=sidf_compatible Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of sunmeng@math.pku.edu.cn) identity=mailfrom; client-ip=162.105.129.21; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="sunmeng@math.pku.edu.cn"; x-sender="sunmeng@math.pku.edu.cn"; x-conformance=sidf_compatible Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail.pku.edu.cn) identity=helo; client-ip=162.105.129.21; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="sunmeng@math.pku.edu.cn"; x-sender="postmaster@mail.pku.edu.cn"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkcBAMTDuFCiaYEVnGdsb2JhbABEDgiCM4NjuXYOAQEBAQEICxIUJ4JCBkMCVRkCThGIIwyeIY5QiXOJCIxAFYMZgRMDiFuJc4ROihuHQkqBVj4 X-IronPort-AV: E=Sophos;i="4.84,191,1355094000"; d="scan'208,217";a="164316164" Received: from mx1.pku.edu.cn (HELO mail.pku.edu.cn) ([162.105.129.21]) by mail4-smtp-sop.national.inria.fr with ESMTP; 30 Nov 2012 15:36:51 +0100 Received: from localhost (localhost.localdomain [127.0.0.1]) by mail.pku.edu.cn (tmailer) with ESMTP id 93C10338231; Fri, 30 Nov 2012 22:36:44 +0800 (CST) X-Spam-Flag: NO X-Spam-Score: -174.936 X-Spam-Level: Received: from mail.pku.edu.cn ([127.0.0.1]) by localhost (bj-mail07.pku.edu.cn [127.0.0.1]) (theinterface-new, port 10024) with ESMTP id D+eNcc6Gs8Zc; Fri, 30 Nov 2012 22:36:42 +0800 (CST) Received: from bj-mail07.pku.edu.cn (bj-mail07.pku.edu.cn [162.105.129.127]) by mail.pku.edu.cn (tmailer) with ESMTP id E5E2C33821F; Fri, 30 Nov 2012 22:36:41 +0800 (CST) Date: Fri, 30 Nov 2012 22:36:41 +0800 (CST) From: =?gbk?B?U3VuIE1lbmcg?= To: sunmeng Message-ID: <2135882769.1841.1354286201602.JavaMail.root@bj-mail07.pku.edu.cn> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_1840_1145102448.1354286201600" X-Originating-IP: [162.105.129.136] X-Validation-by: sunmeng@math.pku.edu.cn Subject: [Caml-list] FACS 2013 CFP ------=_Part_1840_1145102448.1354286201600 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable FACS 2013: CALL FOR=20 PAPERS The 10th International Symposium on Formal Aspects of Component=20 Software Nanchang, China, October 28-30,=20 2013 http://www.jxcsst.com/facs2013/ Scope =3D=3D=3D=3D=3D Component-based=20 software development is a paradigm that has been proposing sound engineering=20 principles and techniques for coping with the complexity of=20 software-intensive systems. However, many challenging conceptual and=20 technological issues remain that require further research. Moreover,=20 the advent of service-oriented and cloud computing has brought to the fore=20 new dimensions, such as quality of service and robustness to withstand=20 inevitable faults, which require established concepts to be revisited and new=20 ones to be developed in order to meet the opportunities offered by those=20 architectures. As software applications become themselves components of wider=20 socio-technical systems, further challenges arise from the need to create and=20 manage interactions, which can evolve in time and space, and rely on the use=20 of resources that can change in non-computable ways. FACS 2013 is=20 concerned with how formal methods can be used to make component-based=20 development fit for the new architectures of today and the systems that are=20 now pervading the socio-economic world. Formal methods have provided=20 foundations for component-based software through research on mathematical=20 models for components, composition and adaptation, and rigorous approaches to=20 verification, deployment, testing, and certification. Whilst those avenues=20 still need to be further explored, time is also ripe to bring new techniques=20 to the fore, such as those based on stochastic models and=20 simulation. Topics of Interest =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D The symposium seeks=20 to address the development and application of formal methods in all aspects=20 of software components and services. Specific topics include, but are=20 not limited to: -- formal models for software components and their=20 interaction -- stochastic techniques for modeling and verification --=20 simulation techniques for complex networks of interacting components --=20 formal aspects of services, service oriented architectures, business proces= ses,=20 and cloud computing -- design and verification methods for software=20 components and services -- composition and deployment: models, calculi,=20 languages -- formal methods and modeling languages for components and=20 services -- model based and GUI based testing of components and=20 services -- models for QoS and other extra-functional properties (e.g.,=20 trust, compliance, security) of components and services -- components for=20 real-time, safety-critical, secure, and/or embedded systems -- industrial or=20 experience reports, and case studies -- update and reconfiguration of=20 component and service architectures -- component systems evolution and=20 maintenance -- autonomic components and self-managed applications --=20 formal and rigorous approaches to software adaptation and self-adaptive=20 systems Call for Papers =3D=3D=3D=3D=3D=3D=3D=3D=3D We solicit high-quality=20 submissions reporting on (as related to topics mentioned here): [A] - original research contributions (18=20 pages max); [B] - applications and=20 experiences (18 pages max); [C] -=20 surveys, comparisons, and state-of-the-art reports (18 pages max); [D] - tool papers (6 pages max); In=20 addition, we solicit submissions to the Doctoral Track of FACS 2013, in the= form=20 of abstracts (3 pages max) concisely capturing work in progress, related=20 topic, context, research questions, envisaged contributions, and partial=20 results. All submissions must be original, unpublished, and not submitted=20 concurrently for publication elsewhere. Papers should be formatted according=20 to the guidelines for Springer LNCS papers. Important=20 Dates =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D -- Abstract submission: July 8, 2013 -- Paper=20 submission: July 15, 2013 -- Notification: September 16, 2013 -- Final=20 version due: October 7, 2013 Publications =3D=3D=3D=3D=3D=3D=3D=3D All accepted=20 papers will appear in the pre-proceedings of FACS 2012. Revised versions of= =20 accepted papers in the categories A-D above will appear in the=20 post-proceedings of the symposium that will be published as a volume in=20 Springer's LNCS series. The authors of a selected subset of accepted papers=20 will be invited to submit extended versions of their papers to appear in a= =20 special issue of the Science of Computer Programming journal. Keynote=20 Speakers =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D -- ZHOU Chaochen=20 (http://sourcedb.cas.cn/sourcedb_is_cas/yw/zjrc/200908/t20090818_2415411.ht= ml),=20 Software Institute, Chinese=20 Academy of Sciences=20 -- Axel Legay (http://people.irisa.fr/Axel.Legay/),=20 IRISA/INRIA, France -- Jayadev Misra (http://www.cs.utexas.edu/~misra/),=20 University of Texas at Austin, US Organization =3D=3D=3D=3D=3D=3D=3D=3D --=20 Conference Chair: Jinyun Xue, Jiangxi=20 Normal University, China -- PC Chairs: Jos=C3=A9=20 Luiz Fiadeiro, Royal Holloway, UK =20=20=20 Zhiming Liu, UNU-IIST, Macau SAR, China -- Publicity Chair : Meng=20 Sun, Peking University, China -- PC Members: Farhad Arbab, CWI and=20 Leiden University, The Netherlands Christian Attiogbe, University of Nantes,=20 France Luis Barbosa, Universidade do Minho, Portugal Roberto Bruni,=20 University of Pisa, Italy Tevfik Bultan, University of California at Santa=20 Barbara, US Carlos Canal, University of M=C3=A1laga, Spain Chunqing Chen, HP Labs Singapore Xin Chen, Nanjing=20 University Zhenbang Chen, National Laboratory for Parallel and Distributed=20 Processing, China Van Hung Dang, University of Engineering and Technology,=20 Vietnam Zhenhua Duan, Xidan University, China Marcelo Frias, Instituto=20 Tecnologico Buenos Aires, Argentina Lindsay Groves, Victoria University of=20 Wellington, New Zealand Rolf Hennicker,=20 Ludwig-Maximilians-Universit=C3=A4t M=C3=BCnchen, Germany Axel Legay, IRISA/INRIA, Rennes Jing Liu, East=20 China Normal University Shaoying Liu, Hosei University,=20 Japan Ant=C3=B3nia Lopes, University of Lisbon, Portugal Markus Lumpe, Swinburne=20 University of Technology, Australia Eric Madelaine, INRIA Tom Maibaum,=20 McMaster University, Canada Dominique Mery, Universit=C3=A9=20 de Lorraine, France Peter Olveczky, University of Oslo, Norway Corina=20 Pasareanu, CMU/NASA, US Frantisek Plasil, Czech Republic Pascal Poizat,=20 Universit=C3=A9 Paris Ouest=20 Nanterre La D=C3=A9fense, France Shaz Qadeer, Microsoft Research Markus=20 Roggenbach, Swansea University Gwen Sala=C3=BCn, Grenoble INP - INRIA - LIG, France Bernhard Sch=C3=A4tz, TU M=C3=BCnchen, Germany Marjan Sirjani, University, Reykjavik, Iceland Meng=20 Sun, Peking University, China Neil Walkinshaw, The University of Leicester,=20 UK Farn Wang, National Taiwan University, Taiwan Gianluigi Zavattaro,=20 University of Bologna, Italy Naijun Zhan, Institute of Software,=20 China Jianjun Zhao, Shanghai Jiao Tong University ------=_Part_1840_1145102448.1354286201600 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: quoted-printable FACS 2013: CALL FOR=20 PAPERS

The 10th International Symposium on Formal Aspects of Compone= nt=20 Software
Nanchang, China, October 28-30,=20 2013

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

Scope
=3D=3D=3D=3D=3D=

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

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

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

Topics of Interest
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D

The symposium seeks=20 to address the development and
application of formal methods in all aspe= cts=20 of software
components and services. Specific topics include, but are=20 not
limited to:

-- formal models for software components and thei= r=20 interaction
-- stochastic techniques for modeling and verification
--= =20 simulation techniques for complex networks of interacting components
--= =20 formal aspects of services, service oriented architectures, business proces= ses,=20 and cloud computing
-- design and verification methods for software=20 components and services
-- composition and deployment: models, calculi,= =20 languages
-- formal methods and modeling languages for components and=20 services
-- model based and GUI based testing of components and=20 services
-- models for QoS and other extra-functional properties (e.g.,= =20 trust, compliance, security) of components and services
-- components fo= r=20 real-time, safety-critical, secure, and/or embedded systems
-- industria= l or=20 experience reports, and case studies
-- update and reconfiguration of=20 component and service architectures
-- component systems evolution and= =20 maintenance
-- autonomic components and self-managed applications
--= =20 formal and rigorous approaches to software adaptation and self-adaptive=20 systems

Call for Papers
=3D=3D=3D=3D=3D=3D=3D=3D=3D

We sol= icit high-quality=20 submissions reporting on (as related to topics mentioned here):
 [A= ] - original research contributions (18=20 pages max);
 [B] - applications and=20 experiences (18 pages max);
 [C] -=20 surveys, comparisons, and state-of-the-art reports (18 pages max);
 = ;[D] - tool papers (6 pages max);
In=20 addition, we solicit submissions to the Doctoral Track of FACS 2013, in the= form=20 of abstracts (3 pages max) concisely capturing work in
progress, related= =20 topic, context, research questions, envisaged contributions, and partial=20 results.
All submissions must be original, unpublished, and not submitte= d=20 concurrently for publication elsewhere. Papers should be formatted
accor= ding=20 to the guidelines for Springer LNCS papers.

Important=20 Dates
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

-- Abstract submission: J= uly 8, 2013
-- Paper=20 submission: July 15, 2013
-- Notification: September 16, 2013
-- Fina= l=20 version due: October 7, 2013

Publications
=3D=3D=3D=3D=3D=3D=3D= =3D

All accepted=20 papers will appear in the pre-proceedings of FACS 2012. Revised versions of= =20 accepted papers in the categories A-D above will
appear in the=20 post-proceedings of the symposium that will be published as a volume in=20 Springer's LNCS series.
The authors of a selected subset of accepted pap= ers=20 will be invited to submit extended versions of their papers to appear in a= =20 special issue
of the Science of Computer Programming journal.

Key= note=20 Speakers
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

-- ZHOU Chaochen=20 (http://sourcedb.cas.cn/sourcedb_is_cas/yw/zjrc/200908/t20090818_2415411.ht= ml),=20
   Software Institute, Chinese=20 Academy of Sciences

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

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

Organization
=3D=3D=3D=3D=3D=3D= =3D=3D

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

-- PC Chairs:
   Jos=C3=A9<= /span>=20 Luiz Fiadeiro, Royal Holloway, UK
  =20 Zhiming Liu, UNU-IIST, Macau SAR, China

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

-- PC Members:

Farhad Arbab, CW= I and=20 Leiden University, The Netherlands
Christian Attiogbe, University of Nan= tes,=20 France
Luis Barbosa, Universidade do Minho, Portugal
Roberto Bruni,= =20 University of Pisa, Italy
Tevfik Bultan, University of California at San= ta=20 Barbara, US
Carlos Canal, University of M=C3=A1lag= a, Spain
Chunqing Chen, HP Labs Singapore
Xin Chen, Nanjing=20 University
Zhenbang Chen, National Laboratory for Parallel and Distribut= ed=20 Processing, China
Van Hung Dang, University of Engineering and Technolog= y,=20 Vietnam
Zhenhua Duan, Xidan University, China
Marcelo Frias, Institut= o=20 Tecnologico Buenos Aires, Argentina
Lindsay Groves, Victoria University = of=20 Wellington, New Zealand
Rolf Hennicker,=20 Ludwig-Maximilians-Universit=C3=BCnchen, Ge= rmany
Axel Legay, IRISA/INRIA, Rennes
Jing Liu, East=20 China Normal University
Shaoying Liu, Hosei University,=20 Japan
Ant=C3=B3nia Lopes, University of Lisbon, Po= rtugal
Markus Lumpe, Swinburne=20 University of Technology, Australia
Eric Madelaine, INRIA
Tom Maibaum= ,=20 McMaster University, Canada
Dominique Mery, Universit=C3=A9=20 de Lorraine, France
Peter Olveczky, University of Oslo, Norway
Corina= =20 Pasareanu, CMU/NASA, US
Frantisek Plasil, Czech Republic
Pascal Poiza= t,=20 Universit=C3=A9 Paris Ouest=20 Nanterre La D=C3=A9fense, France
Shaz Qadeer, Micr= osoft Research
Markus=20 Roggenbach, Swansea University
Gwen Sala=C3=BCn, G= renoble INP - INRIA - LIG, France
Bernhard Sch=C3=A4tz, TU M=C3=BCnchen, Germany
Marjan Sirjani, University, Reykjavik, Ice= land
Meng=20 Sun, Peking University, China
Neil Walkinshaw, The University of Leicest= er,=20 UK
Farn Wang, National Taiwan University, Taiwan
Gianluigi Zavattaro,= =20 University of Bologna, Italy
Naijun Zhan, Institute of Software,=20 China
Jianjun Zhao, Shanghai Jiao Tong University



= = ------=_Part_1840_1145102448.1354286201600--