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 yquem.inria.fr (Postfix) with ESMTP id D7452BC57 for ; Mon, 26 Apr 2010 15:28:05 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkMBAPox1UvAEL8IkWdsb2JhbACcOxUBAQEBCQsKBxEEEA7ANoJdgi8Ejxg X-IronPort-AV: E=Sophos;i="4.52,273,1270418400"; d="scan'208";a="61401267" Received: from hera.cwi.nl ([192.16.191.8]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 26 Apr 2010 15:28:04 +0200 Received: from bobomb.sen.cwi.nl (bobomb.sen.cwi.nl [192.16.201.202]) by hera.cwi.nl with ESMTP id o3QDRDVW008109 for ; Mon, 26 Apr 2010 15:27:13 +0200 (CEST) Message-ID: <4BD594B1.6050706@cwi.nl> Date: Mon, 26 Apr 2010 15:27:13 +0200 From: Sun Meng User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.1.9) Gecko/20100402 Fedora/2.0.4-1.fc12 SeaMonkey/2.0.4 MIME-Version: 1.0 To: puml-list@cs.york.ac.uk, coalgebras@iti.cs.tu-bs.de, pvs@csl.sri.com, isabelle-users@cl.cam.ac.uk, reliable_computing@interval.louisiana.edu, components@artist-embedded.org, agents@cs.umbc.edu, behavior@cs.ucsd.edu, comlab@comlab.ox.ac.uk, formal-methods@cs.uidaho.edu, concurrency@cwi.nl, grin@di.unipi.it, categories@mta.ca, moca-announce@list.it.uu.se, eacsl@dimi.uniud.it, fmics@inrialpes.fr, ipa@win.tue.nl, logic-announce@uclink4.berkeley.edu, logic-list@Helsinki.FI, SEN3-list@cwi.nl, prog-lang@diku.dk, theory-logic@cs.cmu.edu, theorynt@listserv.nodak.edu, acl2@cs.utexas.edu, asci@twi.tudelft.nl, caml-list@inria.fr, coq-club@pauillac.inria.fr, jml@cs.iastate.edu, lfcs-interest@dcs.ed.ac.uk, nwpt-info@sool.ioc.ee, stochver@cs.bham.ac.uk, theorem-provers@ai.mit.edu, forum@prg.ox.ac.uk, csl@dbai.tuwien.ac.at, ccp@sics.se, appsem@tcs.informatik.uni-muenchen.de, procos@jiscmail.ac.uk, haskell@haskell.org, se-group@cs.umn.edu, umsec-events@cs.umn.edu, ecoop-info@ecoop.org, lics@informatik.hu-berlin.de Subject: FACS 2010 CFP Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; multi-agent:01 multi-agent:01 co-located:01 eindhoven:01 entcs:01 markus:01 iist:01 markus:01 antipolis:01 marjan:01 iist:01 qos:98 fm':98 prague:98 2009:98 [sorry if you receive this more than once] Formal Aspects of Component Software (FACS 2010) Call for Papers 7th International Workshop on Formal Aspects of Component Software October 14-16, 2010 Universidade do Minho Guimaraes, Portugal www.di.uminho.pt/facs2010/ Scope & Topics: The component-based software development approach has emerged as a promising paradigm to cope with an ever increasing complexity of present-day software solutions by bringing sound production and engineering principles into software engineering. However, many conceptual and technological issues remain in component-based software development theory and practice that pose challenging research questions. FACS 2010 is concerned with how formal methods can or should be used to make component-based software development succeed. Formal methods consist of mathematically-based techniques for the specification, development, and verification of software and hardware systems. They have shown their great utility for providing the formal foundations of component-based software and working out challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification. The objective of FACS 2010 is to bring together researchers and practitioners in the areas of component software and formal methods in order to promote a deeper understanding of the component-based software development paradigm and its applications. The workshop seeks to address all common aspects of component software and formal methods. FACS aims at developing a community-based understanding of relevant and emerging research problems through formal paper presentations and lively discussions. Possible topics include, but are not limited to: - formal models for software components and component interaction - design and verification methods for component software - component composition and deployment: models, calculi, languages - component testing, re-engineering and reuse - specification of extra-functional properties in component software - certification of components and software architectures - component software vs. object orientation, multi-agent systems, and aspect-oriented development - components for real-time, safety-critical, secure and/or embedded systems - standard models for software components (e.g. Fractal, GCM, etc.) - industrial or experience reports, and case studies in component software - partial behavior models for software components - update and reconfiguration of component architectures - component systems evolution and maintenance - formal methods and modeling languages for components - trust models for components - cyber-physical component-based systems - autonomic components and self-managed applications - formal and rigorous approaches to software adaptation and self-adaptive systems - formal aspects of Web services and business processes - component-based Web services and service-oriented architectures - QoS issues in Web services, multi-agent systems and component-based systems Context: FACS'10 is the 7th event in a series of workshops, founded by the International Institute for Software Technology of the United Nations University (UNU-IIST). The first FACS workshop was co-located with FM'03 (Pisa, Italy, September 2003). The following FACS workshops were organized as standalone events, respectively at UNU-IIST in Macau (October 2005), at Charles University in Prague (September 2006), at INRIA in Sophia-Antipolis (September 2007), and at University of Malaga in Spain (September 2008). FACS'09 was part of the Formal Methods Week in Eindhoven (October 2009). Publication: In previous years FACS post-proceedings were published in the ENTCS series, by Elsevier. Extended versions of selected papers appeared in a special issue of Science of Computer Programming. A similar setting will be arranged for FACS'10. Important dates: Abstract submission: July 2, 2010 Paper submission: July 9, 2010 Acceptance notification: August 22, 2010 Camera ready: September 25, 2010 Workshop: October 14-16, 2010 Program chairs: Markus Lumpe and Luis Barbosa Program committee: Farhad Arbab (CWI, The Netherlands) Marco Autili (L'Aquila University, Italy) Luis Barbosa (Universidade do Minho, Portugal) Andreas Bauer (Australian National University, Australia) Frank S. de Boer (CWI, The Netherlands) Christiano Braga (Universidad Complutense de Madrid, Spain) Carlos Canal (Universidad de Malaga, Spain) Rolf Hennicker (Ludwig-Maximilians-Universitaet Muenchen, Germany) Einar Broch Johnsen (Universitetet i Oslo, Norway) Zhiming Liu (IIST UNU, Macau, China) Ying Liu (IBM China Research, China) Markus Lumpe (Swinburne University of Technology, Australia) Eric Madelaine (INRIA, Centre Sophia Antipolis, France) Sun Meng (CWI, The Netherlands) Corina Pasareanu (NASA Ames, USA) Patrizio Pelliccione (L'Aquila University, Italy) Frantisek Plasil (Charles University, Czech Republic) Anders Ravn (Aalborg University, Denmark) Nuno Rodrigues (IPCA, Portugal) Bernhard Schaetz (Technical University of Munich, Germany) Marjan Sirjani (University of Tehran, Iran) Volker Stolz (UNU-IIST, MACAU) Carolyn Talcott (SRI International, USA) Dang Van Hung (Vietnam National University, Vietnam) Naijun Zhan (IOS, China) Steering Committee: Zhiming Liu (IIST UNU, Macau, China, coordinator) Farhad Arbab (CWI, The Netherlands) Luis Barbosa (Universidade do Minho, Portugal) Carlos Canal (University of Malaga, Spain) Markus Lumpe (Swinburne University of Technology, Australia) Eric Madelaine (INRIA, Sophia-Antipolis, France) Corina Pasareanu (NASA Ames Research Center, USA) Sun Meng (CWI, the Netherlands) Bernhard Schaetz (Technical University of Munich, Germany) Contact: (web) www.di.uminho.pt/facs2010/ (email) facs10chairs@di.uminho.pt