From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q0JDlg0w016966 for ; Thu, 19 Jan 2012 14:47:42 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkINAAEeGE/Bicv9j2dsb2JhbABEAopTkwEBjwiBASIBAQEBCQsJHSWBYTVJKDNVRYdtBpkGoAGJFBdCAQVCFhABAgEBCAEBAQ4DAQEdBQgMBx0NJwgDHII0gygElReFQo0J X-IronPort-AV: E=Sophos;i="4.71,535,1320620400"; d="scan'208";a="128079291" Received: from smtp.dei.uc.pt ([193.137.203.253]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 19 Jan 2012 14:47:36 +0100 Received: from PETETE (gtDEI-Vlans2.dei.uc.pt [193.137.203.231]) by smtp.dei.uc.pt (8.14.4/8.14.4) with ESMTP id q0JDlSub029811 for ; Thu, 19 Jan 2012 13:47:28 GMT Message-Id: <201201191347.q0JDlSub029811@smtp.dei.uc.pt> From: jcmoreno@dei.uc.pt To: caml-list@inria.fr Date: Thu, 19 Jan 2012 14:47:29 +0100 X-Priority: 3 X-Library: Indy 9.00.10 X-FCTUC-DEI-SIC-MailScanner-Information: Please contact helpdesk@dei.uc.pt for more information X-FCTUC-DEI-SIC-MailScanner-ID: q0JDlSub029811 X-FCTUC-DEI-SIC-MailScanner: Found to be clean X-FCTUC-DEI-SIC-MailScanner-SpamCheck: not spam (whitelisted), SpamAssassin (cached, score=0.922, required 3.252, ALL_TRUSTED -1.00, BAYES_00 -0.25, TVD_RCVD_SINGLE 2.17) X-FCTUC-DEI-SIC-MailScanner-From: jcmoreno@dei.uc.pt X-Validation-by: jcmoreno@dei.uc.pt Subject: [Caml-list] CfP: 9th International Symposium on Formal Aspects of Component Software (FACS 2012) [We apologize for multiple copies] ==================================================================== First Call for Papers FACS 2012 9th International Symposium Formal Aspects of Component Software http://www.cmu.edu/silicon-valley/facs12/ 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 certification. * 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 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 * 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: https://www.easychair.org/account/signin.cgi?conf=facs12 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 (to be confirmed). 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 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