From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/94 Path: news.gmane.org!not-for-mail From: Sun Meng Newsgroups: gmane.science.mathematics.logic.coq.club,gmane.comp.mathematics.reliable-computing,gmane.comp.science.concurrency,gmane.science.mathematics.categories,gmane.science.mathematics.petri-nets,gmane.comp.lang.caml.inria,gmane.comp.lang.haskell.general Subject: First CFP for FACS'09 Date: Fri, 13 Feb 2009 14:21:05 +0100 Message-ID: <499573C1.1090707@cwi.nl> References: NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Trace: ger.gmane.org 1234864364 31011 80.91.229.12 (17 Feb 2009 09:52:44 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 17 Feb 2009 09:52:44 +0000 (UTC) Cc: 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, petrinet@informatik.uni-hamburg.de, logic-announce@uclink4.berkeley.edu, logic-list@Helsinki.FI, nvti-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 To: puml-list@cs.york.ac.uk Original-X-From: coq-club-admin@pauillac.inria.fr Tue Feb 17 10:53:52 2009 Return-path: Envelope-to: gsmlcc-coq-club@gmane.org Original-Received: from mail2-relais-roc.national.inria.fr ([192.134.164.83]) by lo.gmane.org with esmtp (Exim 4.50) id 1LZMe9-0004QD-0f for gsmlcc-coq-club@gmane.org; Tue, 17 Feb 2009 10:53:45 +0100 X-IronPort-AV: E=Sophos;i="4.38,222,1233529200"; d="scan'208";a="21217337" Original-Received: from pauillac.inria.fr ([128.93.11.35]) by mail2-relais-roc.national.inria.fr with ESMTP; 17 Feb 2009 10:52:13 +0100 Original-Received: from pauillac.inria.fr (localhost.inria.fr [127.0.0.1]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id KAA00524; Tue, 17 Feb 2009 10:52:09 +0100 (MET) Original-Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id OAA03928 for ; Fri, 13 Feb 2009 14:23:03 +0100 (MET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AiUBAEADlUnAEL8IkWdsb2JhbACUTAEBAQEJCwoHEQS9doJXAYFABoYG X-IronPort-AV: E=Sophos;i="4.38,202,1233529200"; d="scan'208";a="21066372" Original-Received: from hera.cwi.nl ([192.16.191.8]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 13 Feb 2009 14:22:33 +0100 Original-Received: from sif.sen.cwi.nl (sif.sen.cwi.nl [192.16.201.221]) by hera.cwi.nl with ESMTP id n1DDL5nD013453 for ; Fri, 13 Feb 2009 14:21:05 +0100 (CET) User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.8.1.19) Gecko/20090108 Fedora/1.1.14-4.fc10 pango-text SeaMonkey/1.1.14 In-Reply-To: X-Spam: no; 0.00; cfp:01 workshop:01 eindhoven:01 paradigm:01 utility:99 paradigm:01 workshop:01 orientation:01 workshops:01 co-located:01 pisa:01 workshops:01 co-located:01 heading:99 eindhoven:01 Original-Sender: coq-club-admin@pauillac.inria.fr Errors-To: coq-club-admin@pauillac.inria.fr X-BeenThere: coq-club@pauillac.inria.fr X-Mailman-Version: 2.0 Precedence: bulk List-Archive: Xref: news.gmane.org gmane.science.mathematics.logic.coq.club:3146 gmane.comp.mathematics.reliable-computing:1128 gmane.comp.science.concurrency:1505 gmane.science.mathematics.categories:94 gmane.science.mathematics.petri-nets:1438 gmane.comp.lang.caml.inria:45134 gmane.comp.lang.haskell.general:16880 Archived-At: Formal Aspects of Component Software (FACS 2009) First Call for Papers 6th International Workshop on Formal Aspects of Component Software November 2-3, 2009 Eindhoven, the Netherlands http://www.iist.unu.edu/facs09/ Submission deadline June 19, 2009 Scope & Topics: Component-based software has emerged as a promising paradigm to deal with the ever increasing need for mastering systems' complexity, for enabling evolution and reuse, and for bringing sound production and engineering standards into software engineering. However, many issues in component-based software development remain open and pose challenging research questions. 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 setting up the formal foundations of component software and working out challenging issues such as mathematical models for components, their composition and adaptation, or rigorous approaches to verification, deployment, testing and certification. The objective of FACS'09 is to bring together researchers in the areas of component software and formal methods to promote a deep understanding of this paradigm and its applications. The workshop will also be interested in defining the common aspects of components and component-based development. It is expected that formal paper presentations will be followed by 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 - autonomic components and self-managed applications - formal / 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 FACS'09 is the 6th 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 organised 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 Málaga in Spain (September 2008). FACS'09 is planned to be co-located with a number of events together under the heading of Formal Methods Week (Eindhoven, the Netherlands, October 2009). Submission & proceedings: Submissions to the workshop must present original research that is unpublished and not submitted for publication elsewhere. Papers will be judged on the basis of originality, relevance, technical soundness and presentation quality. Papers must be written in English and not exceed 15 pages in the ENTCS format. Note that to encourage submission of work still in progress, we may also accept promising papers to be presented at the workshop. The presenters of these papers will be entitled to submit a revised version for full review for inclusion in the formal (post-)proceedings to be published in ENTCS. Extended versions of all accepted papers will be eligible for selection for a journal special issue. The final version of the papers must be prepared in LaTeX, adhering to the ENTCS format (see http://www.entcs.org/final.html). Papers/abstracts can be submitted via the following link: http://www.easychair.org/conferences/?conf=facs09 A special issue consisting of extended versions of selected papers from FACS 2009 will be published in Science of Computer Programming. Selected participants will be invited to submit an extended version of their papers after the workshop. These extended versions will be reviewed by the international program committee of FACS'09, which will decide on their suitability for final publication in the special issue. Important dates: Abstract submission: June 12, 2009 Paper submission: June 19, 2009 Acceptance notification: July 31, 2009 Camera ready: August 28, 2009 Workshop: November 2-3, 2009 Keynote speakers: to be announced Program chairs: Bernhard Schätz and Sun Meng Program committee: Farhad Arbab (CWI, The Netherlands) Luis Barbosa (Universidade do Minho, Portugal) Christiano Braga (Universidad Complutense de Madrid, Spain) Carlos Canal (Universidad de Malaga, Spain) Paolo Ciancarini (Universita di Bologna, Italy) Rolf Hennicker (Ludwig-Maximilians-Universitaet Muenchen, Germany) Atsushi Igarashi (Kyoto University, Japan) Einar Broch Johnsen (Universitetet i Oslo, Norway) 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) Frantisek Plasil (Charles University, Czech Republic) Anders Ravn (Aalborg University, Denmark) Ralf Reussner (Universitaet Karlsruhe, Germany) Bernhard Schaetz (Technical University of Munich, Germany) Heinrich Schmidt (RMIT University, Australia) 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 Málaga, Spain) Markus Lumpe (Swinburne University of Technology, Australia) Eric Madelaine (INRIA, Sophia-Antipolis, France) Vladimir Mencl (Charles University, Prague, Czech Republic, and University of Canterbury, New Zealand) Corina Pasareanu (NASA Ames Research Center, USA) Sun Meng (CWI, the Netherlands) Bernhard Schaetz (Technical University of Munich, Germany) Co-location: FACS is part of the first Formal Methods Week (FMweek), which will bring together a choice of events in the area, including TESTCOM/FATES (Conference on Testing of Communicating Systems and Workshop on Formal Approaches to Testing of Software), FMICS (Formal Methods for Industrial Critical Systems), PDMC (Parallel and Distributed Methods of verifiCation), FM2009 (Symposium of Formal Methods Europe), CPA (Communicating Process Architectures), FAST (Formal Aspects in Security and Trust), FMCO (Formal Methods for Components and Objects), and the REFINE Workshop. For the latest information on FMweek, see http://www.win.tue.nl/fmweek.