From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.4 required=5.0 tests=MSGID_MULTIPLE_AT autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id AA7B7BBC4 for ; Fri, 6 Mar 2009 16:57:26 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqEBACPWsEmT+goBmWdsb2JhbACVCAEBAQEBCAsKBxHBdYJJgT8Ghlk X-IronPort-AV: E=Sophos;i="4.38,315,1233529200"; d="scan'208";a="22163509" Received: from ns1.ensta.fr ([147.250.10.1]) by mail2-smtp-roc.national.inria.fr with ESMTP; 06 Mar 2009 16:57:25 +0100 Received: from localhost (localhost.ensta.fr [127.0.0.1]) by ns1.ensta.fr (Postfix) with ESMTP id B9B13314CA7; Fri, 6 Mar 2009 16:57:24 +0100 (CET) X-Virus-Scanned: amavisd-new at ns1.ensta.fr Received: from ns1.ensta.fr ([127.0.0.1]) by localhost (ns1.ensta.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id kEY+UvuaPmG7; Fri, 6 Mar 2009 16:57:24 +0100 (CET) Received: from zomail.ensta.fr (zomail.ensta.fr [147.250.1.22]) by ns1.ensta.fr (Postfix) with ESMTP id C7773314CC5; Fri, 6 Mar 2009 16:57:16 +0100 (CET) Received: from localhost (localhost [127.0.0.1]) by zomail.ensta.fr (Postfix) with ESMTP id 78702C90099; Fri, 6 Mar 2009 16:55:29 +0100 (CET) X-Virus-Scanned: amavisd-new at Received: from zomail.ensta.fr ([127.0.0.1]) by localhost (zomail.ensta.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id vaWZvch2nw9i; Fri, 6 Mar 2009 16:55:28 +0100 (CET) Received: from anasys1 (anasys1.ensta.fr [147.250.35.104]) by zomail.ensta.fr (Postfix) with ESMTP id 964DEA38F38; Fri, 6 Mar 2009 16:55:28 +0100 (CET) From: "Bruno Monsuez" To: , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , Subject: 2nd CFP --- VeCoS 09 --- 3rd International Workshop on Verification and Evaluation of Computer and Communication Systems Date: Fri, 6 Mar 2009 16:55:28 +0100 Message-ID: <006701c99e73$f8644bc0$e92ce340$@monsuez@ensta.fr> MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Mailer: Microsoft Office Outlook 12.0 Thread-Index: Acmec/gr1da/iiCmTfauXYPjlWlkOg== Content-Language: fr X-Spam: no; 0.00; ensta:01 abstraction:01 synthesis:01 laas:01 assaf:01 kfoury:01 ensta:01 morocco:98 2009:98 2009:98 qos:98 universita:98 morocco:98 cfp:01 motivation:02 We apologize if you receive multiple copies of this call for papers. CALL FOR PAPERS ***3rd International Workshop on Verification and Evaluation of Computer and Communication Systems (VeCoS'09) *** July, 2-3, 2009, Rabat, Morocco http://www.vecos-world.org/ *** Important dates: Paper submission: March 30, 2009 Notification of acceptance/rejection: May 15, 2009 Final version due: May 31, 2009 *** Aims and scope The International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS) was created by an Euro-Maghrebian network of researchers in computer science. The first edition tooks place in Algiers 5-6 May 2007 (VECoS'07), the second edition in Leeds 2-3 July 2008 (VECoS'08). The aim of VECoS workshop is to bring together researchers and practitioners,in the areas of Verification, Control, Performance, Quality of service, Dependability evaluation and Assessment, to discuss the state of the art for solving the challenges facing us today in various modern computer and communication systems in which functional and extra functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between formal verification and evaluation approaches, methods and techniques especially those based on the specification formalisms for concurrent, distributed and soft/hard systems. Beyond its technical and scientific goals, another main purpose of VECoS is to promote collaboration between participants in research and education in the area of computer science and engineering. We welcome contributions describing original research, practical experience reports and tool descriptions/demonstrations in the areas of Verification, Control, and Performance, Quality of service, Dependability Evaluation. *** Topics of interest include, but are not limited to: - Model-checking - Equivalence checking - Abstraction techniques - Compositional verification - Parameterized verification - Control synthesis techniques - Probabilistic verification - Performance and robustness evaluation - Simulation techniques of discrete-event and hybrid systems - Dependability assessment techniques - QoS evaluation, planning and deployment *** Invited speakers Mario Bravetti, Universita di Bologna, Italy Guy Juanole, LAAS, France Assaf J. Kfoury, Boston University, USA Joel Ouaknine, Oxford University, UK *** Submission and Publication Contributions must have not been published previously, nor already submitted to other conferences/journals in parallel with this workshop. Papers should be submitted electronically via the VECoS 2009 web site by uploading a self-contained PDF file, and should not exceed 12 pages using the Electronic Workshops in Computing (eWiC) format. All selected papers will be included in the workshop proceedings available at the conference and published in the eWiC series of the British Computer Society. *** For more information see: http://www.vecos-world.org/ http://vecos.ensta.fr/2009/index.html PC co chairs: Said El Hajji, University of Mohammed V, Rabat, Morocco Bruno Monsuez , ENSTA, Paris, France