From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 47899BB81 for ; Fri, 16 Dec 2005 17:23:56 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id jBGGNtXg009665 for ; Fri, 16 Dec 2005 17:23:56 +0100 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA26110 for ; Fri, 16 Dec 2005 17:23:55 +0100 (MET) Received: from miraculix.informatik.uni-kiel.de (miraculix.informatik.uni-kiel.de [134.245.248.198]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id jBGGNsTX009660 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=FAIL) for ; Fri, 16 Dec 2005 17:23:55 +0100 Received: from localhost (IDENT:99LZ/QjfttuCv0VwWJbU5cBrX47ozNwi@localhost [127.0.0.1]) by miraculix.informatik.uni-kiel.de (8.13.5/8.13.5) with ESMTP id jBGGNsSU016301 for ; Fri, 16 Dec 2005 17:23:54 +0100 (MET) Received: from falbala.informatik.uni-kiel.de (IDENT:0K5vJaAGRp4FvAW5ElHZRry6g3tWqZDg@falbala [134.245.248.202]) by miraculix.informatik.uni-kiel.de (8.13.5/8.13.5) with ESMTP id jBGGNTV2016232 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=OK) for ; Fri, 16 Dec 2005 17:23:31 +0100 (MET) Received: from sauron.informatik.uni-kiel.de (IDENT:Ml5BputpkZ9+XpaMmU2vj5VdwwJC1NTG@sauron [134.245.248.39]) by falbala.informatik.uni-kiel.de (8.13.5/8.13.5) with ESMTP id jBGGNSt3027873; Fri, 16 Dec 2005 17:23:28 +0100 (MET) Received: (from ms@localhost) by sauron.informatik.uni-kiel.de (8.12.10+Sun/8.12.6/Submit) id jBGGNSqK003810; Fri, 16 Dec 2005 17:23:28 +0100 (MET) X-Authentication-Warning: sauron.informatik.uni-kiel.de: ms set sender to ms@informatik.uni-kiel.de using -f Sender: ms@informatik.uni-kiel.de To: caml-list@inria.fr Subject: FMOODS 06: 2nd Call for Papers From: Martin Steffen Date: 16 Dec 2005 17:23:28 +0100 Message-ID: User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.4 MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable X-Virus-Scanned: by amavisd-new at informatik.uni-kiel.de X-Miltered: at nez-perce with ID 43A2EA1B.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 43A2EA1A.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; ifip:01 unibo:01 unibo:01 hankin:01 ifip:01 semantics:01 model:01 model:01 paderborn:01 uwe:01 nestmann:01 twente:01 ralf:01 andrzej:01 paderborn:01 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 2nd CALL FOR PAPERS FMOODS 2006 8th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems Bologna, Italy, 14 - 16 June, 2006 http://www.discotec06.cs.unibo.it/FMOODS06 In conjunction with =20=20=20=20=20 DAIS 2006 and Coordination 2006 =20=20 http://www.discotec06.cs.unibo.it/ ******************** New ******************************** o abstract and paper submission now open! o Invited speakers now ready: - Jan Bosch, Software and Application Technologies Lab. Nokia Research Center - Jos=E9 Luiz Fiadeiro, Department of Computer Science University of Leicester - Chris Hankin, Department of Computing Imperial College o 3 pre-conference workshops scheduled: - 2nd International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord'06).=20=20 - Security, Privacy, and Trust in Web Services. - 2nd International Workshop on Coordination and Organization (CoOrg'06).=20 **************************************************************** =20=20=20=20=20=20=20=20=20=20=20=20=20 IMPORTANT DATES: 10. January 2006: Abstract submission 17. January 2006: Paper submission 7. March 2006: Author notification 28. March 2006: Camera-ready copy 13. June 2006: pre-conference workshops 14. - 16. June 2006: FMOODS 2006 The 8th IFIP International Conference on Formal Methods for Open Object-bas= ed Distributed Systems (FMOODS) is part of the federated conferences DisCoTec (Distributed Computing Techniques), together with the 8th International Conference on Coordination Models and Languages (COORDINATION) and the 6th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS). It will be organised by the Department of Computer Science of the University of Bologna. OBJECTIVES AND SCOPE: Established in 1996, the FMOODS series of conferences aims to provide an integrated forum for research on formal aspects of Open Object-based Distributed Systems. The conference will especially welcome novel contributions reflecting recent developments in the area, in particular component- and model-based design, service-oriented computing and=20 software quality. Areas of interest include but are not limited to: - Semantics and implementation of object-oriented programming and (visual) modelling languages - Formal techniques for specification, design, analysis, verification, validation and testing - Model checking, theorem proving and deductive verification - Type systems and behavioural typing - Formal methods for service-oriented computing - Formal techniques for security and trust in global computing - Multiple viewpoint modelling and consistency between different views - Model transformations and refactorings - Software architectures - Integration of quality of service requirements into formal models - Component-based design - Applications (e.g.\ web services, multimedia, telecommunications) - Experience report on best practices and tools ORGANISERS: General chair: Gianluigi Zavattaro (U. of Bologna, IT) PC chairs: Roberto Gorrieri (U. of Bologna, IT) Heike Wehrheim (U. of Paderborn, DE) Publicity Chair: Martin Steffen (CAU Kiel, DE) Steering Committee: John Derrick (U. of Sheffield, UK) Roberto Gorrieri (U. of Bologna, IT) Elie Najm (ENST, Paris, FR) Program Committee: Lynne Blair (U. of Lancaster, UK)=20 Eerke Boiten (U. of Kent, UK)=20 Nadia Busi (U. of Bologna, IT)=20=20 John Derrick (U. of Sheffield, UK)=20 Alessandro Fantechi (U. of Firenze, IT)=20 Colin Fidge (U. of Queensland, AUS)=20 Robert France (Colorado State U., USA)=20 Roberto Gorrieri (U. of Bologna, IT)=20 Reiko Heckel (U. of Leicester, UK)=20 Einar Broch Johnsen (U. of Oslo, N)=20 Doug Lea (State U. of New York, USA)=20 Elie Najm (ENST Paris, FR)=20=20 Uwe Nestmann (TU Berlin, D)=20 Erik Poll (U. of Nijmegen, NL)=20 Arend Rensink (U. Twente, NL)=20=20 Ralf Reussner (U. of Oldenburg, D)=20=20 Bernhard Rumpe (TU Braunschweig, D)=20=20 Martin Steffen (CAU Kiel, D)=20=20 Carolyn Talcott (SRI International, USA)=20=20 Andrzej Tarlecki (Warsaw University, PL)=20=20 Vasco Vasconcelos (U. of Lisbon, P)=20=20 Heike Wehrheim (U. of Paderborn, D)=20=20 Elena Zucca (U. of Genova, IT)=20 SUBMISSION GUIDELINES:=20 The FMOODS 2006 conference solicits high quality papers reporting research results and/or experience reports related to the topics mentioned above. Al= l=20 papers must be original, unpublished, and not submitted for publication elsewhere. Submission will be electronically as postscript or PDF, using=20 the SPRINGER LNCS style. Papers should not exceed 15 pages in length. Each= =20 paper will undergo a thorough process of review and the conference proceedi= ngs=20 will be published by Springer Verlag in the LNCS series. Proceedings will b= e=20 made available at the conference.=20