From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 8958F7ED7A; Mon, 27 Aug 2012 16:41:16 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of jcmoreno@dei.uc.pt) identity=pra; client-ip=193.137.203.234; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="jcmoreno@dei.uc.pt"; x-sender="jcmoreno@dei.uc.pt"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of jcmoreno@dei.uc.pt designates 193.137.203.234 as permitted sender) identity=mailfrom; client-ip=193.137.203.234; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="jcmoreno@dei.uc.pt"; x-sender="jcmoreno@dei.uc.pt"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@smtp2.dei.uc.pt) identity=helo; client-ip=193.137.203.234; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="jcmoreno@dei.uc.pt"; x-sender="postmaster@smtp2.dei.uc.pt"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjcGAA+GO1DBicvqYGdsb2JhbABFuncYIhEVJ4IhAQUdFQEFES8RLBMDDwkDAgECASsaBgEMBgIBAYgNB6t4jimLCBqGdwOoT4Ff X-IronPort-AV: E=Sophos;i="4.80,321,1344204000"; d="scan'208";a="153939687" Received: from smtp2.dei.uc.pt ([193.137.203.234]) by mail4-smtp-sop.national.inria.fr with ESMTP; 27 Aug 2012 16:41:15 +0200 Received: from Terral.local (0.Red-81-39-225.dynamicIP.rima-tde.net [81.39.225.0]) (authenticated bits=0) by smtp2.dei.uc.pt (8.14.4/8.14.4) with ESMTP id q7REJTSW019291; Mon, 27 Aug 2012 15:19:35 +0100 Message-ID: <503B81F1.1010103@dei.uc.pt> Date: Mon, 27 Aug 2012 16:19:29 +0200 From: =?ISO-8859-1?Q?Javier_C=E1mara_Moreno?= User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7; rv:14.0) Gecko/20120713 Thunderbird/14.0 MIME-Version: 1.0 To: =?ISO-8859-1?Q?Javier_C=E1mara_Moreno?= , gdr.gpl@imag.fr, arp@cines.fr, alp-diffusion@univ-lille1.fr References: <503B7E6D.1060406@dei.uc.pt> In-Reply-To: <503B7E6D.1060406@dei.uc.pt> X-Forwarded-Message-Id: <503B7E6D.1060406@dei.uc.pt> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-FCTUC-DEI-SIC-MailScanner-Information: Please contact helpdesk@dei.uc.pt for more information X-FCTUC-DEI-SIC-MailScanner-ID: q7REJTSW019291 X-FCTUC-DEI-SIC-MailScanner: Found to be clean X-FCTUC-DEI-SIC-MailScanner-SpamCheck: not spam, SpamAssassin (cached, score=-51.25, required 3.252, autolearn=not spam, ALL_TRUSTED -1.00, BAYES_00 -0.25, L_SMTP_AUTH -50.00) X-FCTUC-DEI-SIC-MailScanner-From: jcmoreno@dei.uc.pt X-Validation-by: jcmoreno@dei.uc.pt Subject: [Caml-list] Call for Participation: FACS 2012 [We apologize for multiple copies] ==================================================================== Call for Participation 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. ==================================================================== * Invited Speakers * Tevfik Bultan, UC Santa Barbara "Analyzing Interactions of Asynchronously Communicating Software Components" Shaz Qadeer, Microsoft "Safe programming of asynchronous interaction: Can we do it for real?" ==================================================================== * Registration * The early registration deadline of FACS is August 31st. The registration page is available on the FACS website: http://www.cmu.edu/silicon-valley/facs12/index.html ==================================================================== * Accepted Papers * * Harsh Beohar and Pieter Cuijpers. Desynchronisation of Concrete Synchronous Systems * Hanne Riis Nielson, Flemming Nielson and Roberto Vigo. A Calculus for Quality * Steinar Hugi Sigurdarson, Marjan Sirjani, Yngvi Bjornsson and Arni Herman Reynisson. Guided Search for Deadlocks in Actor-Based Models * Nils Jansen, Erika Abraham, Barna Zajzon, Ralf Wimmer, Johann Schuster, Joost Pieter Katoen and Bernd Becker. Symbolic Counterexample Generation for Discrete-time Markov Chains * Domenico Bianculli, Carlo Ghezzi and Pierluigi San Pietro. The Tale of SOLOIST: a Specification Language for Service Compositions Interactions * Sebastian Bauer, Rolf Hennicker and Axel Legay. Component Interfaces with Contracts on Ports * Qiusong Yang. Assumption Generation for Asynchronous Systems by Abstraction Refinement * Chris Chilton, Bengt Jonsson and Marta Kwiatkowska. Assume-Guarantee Reasoning for Safe Component Behaviours * Ralf Sasse, Samuel King, Jose Meseguer and Shuo Tang. IBOS: A Correct-By Construction Modular Browser * Frank de Boer, Mario Bravetti, Immo Grabe, Matias Lee, Martin Steffen and Gianluigi Zavattaro. Proving Deadlock Freedom for Active Objects and Futures * Pablo Castro, Nazareno Aguirre, Carlos Gustavo Lopez Pombo and Tom Maibaum. A Categorical Approach to Structuring and Promoting Z Specifications * Kyungmin Bae, Jose Meseguer and Peter Olveczky. Formal Patterns for Multirate Distributed Real-Time Systems * Christos Kloukinas and Mert Ozkaya. XcD - Modular, Realizable Software Architectures * Zachary J. Oster, Ganesh Ram Santhanam, Samik Basu and Vasant Honavar. Model Checking of Qualitative Sensitivity Preferences to Minimize Credential Disclosure * Stijn De Gouw and Frank S. De Boer. Run-Time Verification of Black-Box Components using Behavioral Specifications: An Experience Report on Tool Development * Amir Molzam Sharifloo and Paola Spoletini. LOVER: Light-weight Formal Verification of adaptivE systems at Run time -- --------------------------------------------------------------- Javier Camara Postdoctoral Research Associate DEI - Departamento Engenharia Informática University of Coimbra Portugal Mail: jcmoreno@dei.uc.pt Web: www.javicamara.com ---------------------------------------------------------------