From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 2B47F8011C for ; Thu, 6 Apr 2017 01:07:12 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=umair.hvg@gmail.com; spf=Pass smtp.mailfrom=umair.hvg@gmail.com; spf=None smtp.helo=postmaster@mail-it0-f54.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of umair.hvg@gmail.com) identity=pra; client-ip=209.85.214.54; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="umair.hvg@gmail.com"; x-sender="umair.hvg@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of umair.hvg@gmail.com designates 209.85.214.54 as permitted sender) identity=mailfrom; client-ip=209.85.214.54; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="umair.hvg@gmail.com"; x-sender="umair.hvg@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-it0-f54.google.com) identity=helo; client-ip=209.85.214.54; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="umair.hvg@gmail.com"; x-sender="postmaster@mail-it0-f54.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AHyW77h/tMY9DQP9uRHKM819IXTAuvvDOBiVQ1KB2?= =?us-ascii?q?0OMcTK2v8tzYMVDF4r011RmSDNmds6oMotGVmpioYXYH75eFvSJKW713fDhBt/?= =?us-ascii?q?8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1?= =?us-ascii?q?Ifn+FpLPg8it2e2//5Lebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+?= =?us-ascii?q?RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTF?= =?us-ascii?q?UACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMMvrRr42RDui9b9mRh/mhi?= =?us-ascii?q?kEKjA37n3Yh9dqg65Huh+svQBzz5LWbYyTKfFwfrndfdQfRWdZUMlRUjZOAoKm?= =?us-ascii?q?b4ASEuQBPPtXoJT8p1sXsBuxGxSnCeTyyj9NnHD23Lc63/4hEQHY0wwtBN0OsH?= =?us-ascii?q?HOo9X0MKceS/y6zK7NzTjaaf5dxDnz6I/Nch87oPGMW6p9ftbWyUkpCwzFiU+Q?= =?us-ascii?q?ppHkPzyPzOgCr3KU4/J8WuKpkWEnrht9oja1xss0kYnJnpgVylHC9SV23ok1P8?= =?us-ascii?q?e0R1J8Yd6hCJdfqTuVN5B2Q8w+Q2Fnoic6yqcctZ68ZigKx4wryAXEZPyHbYeH?= =?us-ascii?q?/xPjW/yLLTd/nnJld6qzhxCw8Uih1u3wTNe730tXriZdjNbMsGsN1wDJ5cSeUv?= =?us-ascii?q?ty5F2h2TeU1wDP9O5LPUA0mbDVK5472rIwjp0TsUDDHy/zhEX2iLWaeVk+9eSw?= =?us-ascii?q?6uTnZKjpqYGGN49vlg7+M7ohmsqjDusmKAQBQ2+b+eG62bb+/kP5WK1HguMqnq?= =?us-ascii?q?TdqpzXJsQWqrSnDwNI3Ysv8RayAjig3d8Fh3cINkhFdwiCj4XxO1HBPvT4DfCn?= =?us-ascii?q?jlSpijhrxvTGMqTgApXRMnTPibnhcLZy5kJGxwozytdf551QCr4fOv78RkjxtN?= =?us-ascii?q?nAAh84NQy73frnBc1j2o8CXW+DGKyUPaPIvVOW++4iLPOAaY8atTrlLvgq/f/u?= =?us-ascii?q?jXs3mV8Heqmp2IMaaG29Hvt8IkWZe2DggtcfEWcFpQc+Q+nqh0eDUT5XfXq9Q6?= =?us-ascii?q?U85jQjBIK8EYjDXpytgKCG3CqjApJZfGVGClSVHXfsdoWEQOsMZTmJIs5hlzwE?= =?us-ascii?q?TaKuR5Ug1RGorg/6yqBoIvDa+i0C5trf041+7ujX0BUz7iBcDsKH0mjLQXsnsH?= =?us-ascii?q?kPQmoL2al+uwRGy1uP0LFljrQMCNla5ukPUhk1HZHZxu1+Tdv1X1SSLZ+yVF+6?= =?us-ascii?q?T4D+UnkKRdUrzopWbg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AJBQBfd+VYhzbWVdFCGgIUCAYMgylNA?= =?us-ascii?q?T6BCweDXKRWhxmFNIIODCCCQIFcgVqDTQdBFgEBAQEBAQEBAQEBEgEBAQgNCQg?= =?us-ascii?q?oL4IzIIJsHQEbCgISAxIMBCIVAiQBEQEFAT6JbAEDFQ4xmkCDRT+MA4IEBQEcg?= =?us-ascii?q?wkFg1YKGScNVYJZAQEIAQEBARwCBhKMaIE6IYEbURKCR4JfBZxwhn6LVIJSgmC?= =?us-ascii?q?MCAKKfyGDdIMaFB+BFQ8XB4EvOyBWGIQIKhwEggskNQEBEoZAAiQHghABAQE?= X-IPAS-Result: =?us-ascii?q?A0AJBQBfd+VYhzbWVdFCGgIUCAYMgylNAT6BCweDXKRWhxm?= =?us-ascii?q?FNIIODCCCQIFcgVqDTQdBFgEBAQEBAQEBAQEBEgEBAQgNCQgoL4IzIIJsHQEbC?= =?us-ascii?q?gISAxIMBCIVAiQBEQEFAT6JbAEDFQ4xmkCDRT+MA4IEBQEcgwkFg1YKGScNVYJ?= =?us-ascii?q?ZAQEIAQEBARwCBhKMaIE6IYEbURKCR4JfBZxwhn6LVIJSgmCMCAKKfyGDdIMaF?= =?us-ascii?q?B+BFQ8XB4EvOyBWGIQIKhwEggskNQEBEoZAAiQHghABAQE?= X-IronPort-AV: E=Sophos;i="5.37,281,1488841200"; d="scan'208,217";a="219481996" Received: from mail-it0-f54.google.com ([209.85.214.54]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 06 Apr 2017 01:07:10 +0200 Received: by mail-it0-f54.google.com with SMTP id y18so92097456itc.0 for ; Wed, 05 Apr 2017 16:07:10 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=8lVhBpGl9ObPtmA5+7BYxzuB4UYpn9sfUr7rKj1GsX0=; b=RdOF6zfWJyhGvcATAa3rH0Zoj9Ult2mw94xh8j6YAM6NywOaDJivOx5ekRnmismIp/ k6EgoMFiJtmi0qNyYK20R+ZKkcrnmQhgudIJxPCVPH02EjkbzBuIb5H7sNnJ8SbmqyiS 2i/Ge3/XS263fZnQwdhtb3ysqnlC+sGLD1/N+xHGJsNiPrXP+2KE7J8JrYZFMcEDguo2 uZNEOcTeLBiMdubO+RIlaTliFV50eW95WmpdjMY2l4v6f9UOLUa8aEj01u3HI2CkTJkf aUO/yhkA4SrXNt0cZu+7Q8W+dvdu9bb75Qzr4GzsronUpxgPlvl6zdMluDvj2Vn0DE8o /AvA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=8lVhBpGl9ObPtmA5+7BYxzuB4UYpn9sfUr7rKj1GsX0=; b=EEaMG3A92dKeJ1uGrKVD1ZMGsDDNfFbPq5M/tJgAPvxpgb569vplClvpCY/nTqxB49 iZynpTdbvNE00LKDqhI9K2P+lYCLDp1UbbTHnYdiK5r21fdPMM/FSTGOEIdzPnkcolph x98DOIr7NUIXLSEUqC1X7B/150QcPJQa7qlYu+DuzuRgzeJmX1oT/KfGHRU9vQwT6654 fBIgzrPaDtJo4AwMCBBW4ftZCfOZLt30EdZUYcswTm77hkJwAIggNUwjHSDGJTWVAs1k el42sACY9hZjoEudTIM0sJ9aYVe5r2MWPxirBpdAyYQtBur3m5vqYF9N9SLbA7Ph4ybu rz2A== X-Gm-Message-State: AFeK/H2n3b+q5wNjaRvVt0vgyVfZm9ZtlGToewBBOwZQi2fjOi56lJQ+ ajuq9MHh4DZ7nJpHF3bFCQ4rblScaQ== X-Received: by 10.36.40.81 with SMTP id h78mr23594983ith.44.1491433628439; Wed, 05 Apr 2017 16:07:08 -0700 (PDT) MIME-Version: 1.0 Received: by 10.107.191.199 with HTTP; Wed, 5 Apr 2017 16:07:07 -0700 (PDT) From: Umair Siddique Date: Wed, 5 Apr 2017 19:07:07 -0400 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=001a114520b8a11d75054c737391 Subject: [Caml-list] [CFP] VECoS 2017 - LNCS || August 24-25, 2017 - Montreal, Canada --001a114520b8a11d75054c737391 Content-Type: text/plain; charset=UTF-8 =========================================================================== VECoS 2017 - Lecture Notes in Computer Science https://vecos.ensta-paristech.fr/2017/ 11th International Conference on Verification and Evaluation of Computer and Communication Systems August 24-25, 2017 Concordia University, Montreal, Quebec, Canada =========================================================================== * Submission deadline is April 24, 2017 * * Accepted papers will be published by Springer in the Lecture Notes in Computer Science (LNCS) series * * Extended versions of selected papers will be considered for a special issue of Springer ISSE : A NASA Journal =========================================================================== The VECoS conference series is interested in the analysis of computer and communication systems in which functional and extra-functional properties are inter-related. VECoS encourages the cross-fertilization between the various formal verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and distributed hardware/software systems. Topics of interest to the conference include, but are not limited to: o Abstraction techniques o Certification standards for real-time systems o Compositional verification o Correct-by-construction design o Dependability assessment techniques o Equivalence checking o Model-checking o Parameterized verification o Performance and robustness evaluation o Probabilistic verification o QoS evaluation, planning and deployment o RAMS (Reliability Availability Maintainability Safety) assessment o Rigorous system design o Security protocols verification o Simulation techniques of discrete-event and hybrid systems o Supervisory control o Verification & validation of IoT o Verification & validation of safety-critical systems o Worst-case execution time analysis Application areas of VECoS include: adaptive systems, communication protocols, computer-supported collaborative work systems, cloud computing, cyber-physical systems, high performance computing, internet of things, logistics systems, manufactory of the future, mixed criticality systems, mobile and wireless networking, operations research, programming languages, real-time and embedded operating systems, service oriented systems, telecommunication systems, ubiquitous systems, web services, wireless sensor networks and workflow systems. An overview of previous VECoS conferences can be found at: https://vecos.ensta-paristech.fr/ Important Dates o Abstract deadline: April 10, 2017 o Papers deadline: April 24, 2017 (Anywhere on Earth) o Paper notification: May 29, 2017 o Camera-ready deadline: June 12, 2017 o Conference: August 24-25, 2017 Invited Speakers o Mourad Debbabi , Concordia University, Montreal, Canada o Michel Dagenais >, Polytechnique Montreal, Canada o Mengchu Zhou , NJIT, Newark, NJ, USA General Information on Submissions The conference proceedings will be published in the Springer-Verlag Lecture Notes in Computer Science series. Papers must be original work and not be submitted for publication elsewhere. Papers must be submitted electronically in PDF format using easychair system and should not exceed 15 pages using the Lecture Notes in Computer Science (LNCS) format. At least one author of each accepted paper must attend VECoS 2017 to present. Authors of selected papers will be invited to submit extended article versions in a special issue of Innovations in Systems and Software Engineering : A NASA Journal or of International Journal of Critical Computer-Based Systems ============================================================ ================= Organization General Chairs Sofiene Tahar, Concordia University, Montreal, Quebec, Canada Ali Mili , New Jersey Institute of Technology, Newark, NJ, USA Program Chairs Kamel Barkaoui, CNAM, Paris, France Hanifa Boucheneb, > Polytechnique Montreal, Canada Organizing Committee Chair Otmane Ait Mohamed , Concordia University, Montreal, Quebec, Canada Publicity Chairs Belgacem Ben Hedia , CEA-LIST, Saclay, France Vladimir-Alexandru Paun , ENSTA ParisTech, Palaiseau, France For more information, visit the conference website: https://vecos.ensta-paristech.fr/2017/ ============================================================ ================= --001a114520b8a11d75054c737391 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D

=C2=A0 =C2=A0VECoS 2017 - Lecture Notes in Computer Science
=C2=A0 =C2=A0https://vecos.ensta-paristech.fr/2017/
=C2=A0 =C2=A011th International Conference on Verification and Evaluation o= f
=C2=A0 =C2=A0Computer and Communication Systems
=C2=A0 =C2=A0August 24-25, 2017

=C2=A0 =C2=A0Concordia University, Montreal, Quebec, Canada

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D
* Submission deadline is April 24, 2017 *
* Accepted papers will be published by Springer in the Lecture Notes in
=C2=A0 Computer Science (LNCS) series *
* Extended versions of selected papers will be considered for a special
=C2=A0 issue of Springer ISSE : A NASA Journal
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D

The VECoS conference series is interested in the analysis of computer and communication systems in which functional and extra-functional properties are inter-related. VECoS encourages the cross-fertilization between the
various formal verification and evaluation approaches, methods and
techniques, and especially those developed for concurrent and distributed hardware/software systems.

Topics of interest to the conference include, but are not limited to:
o Abstraction techniques
o Certification standards for real-time systems
o Compositional verification
o Correct-by-construction design
o Dependability assessment techniques
o Equivalence checking
o Model-checking
o Parameterized verification
o Performance and robustness evaluation
o Probabilistic verification
o QoS evaluation, planning and deployment
o RAMS (Reliability Availability Maintainability Safety) assessment
o Rigorous system design
o Security protocols verification
o Simulation techniques of discrete-event and hybrid systems
o Supervisory control
o Verification & validation of IoT
o Verification & validation of safety-critical systems
o Worst-case execution time analysis

Application areas of VECoS include: adaptive systems, communication
protocols, computer-supported collaborative work systems, cloud computing,<= br> cyber-physical systems, high performance computing, internet of things,
logistics systems, manufactory of the future, mixed criticality systems,
mobile and wireless networking, operations research, programming
languages, real-time and embedded operating systems, service oriented
systems, telecommunication systems, ubiquitous systems, web services,
wireless sensor networks and workflow systems.

An overview of previous VECoS conferences can be found at:
https://vecos.ensta-paristech.fr/

Important Dates
o Abstract deadline: April 10, 2017
o Papers deadline: April 24, 2017 (Anywhere on Earth)
o Paper notification: May 29, 2017
o Camera-ready deadline: June 12, 2017
o Conference: August 24-25, 2017

Invited Speakers
o Mourad Debbabi <https://users.encs.concordia.ca/~= debbabi/>, Concordia
University, Montreal, Canada
o Michel Dagenais <http= ://www.polymtl.ca/recherche/rc/en/professeurs/
details.php?NoProf=3D117>, Polytechnique Montreal, Canada
o Mengchu Zhou <https://web.njit.edu/~zhou/>, NJIT, Newark, NJ,= USA

General Information on Submissions
The conference proceedings will be published in the Springer-Verlag
Lecture Notes in Computer Science
<http://www.springer.com/gp/computer-science= /lncs> series. Papers must be
original work and not be submitted for publication elsewhere. Papers must be submitted electronically in PDF format using easychair system
<https://easychair.org/account/signin.cgi?key= =3D 50603016.qOLToNquHY75MxLI>
and should not exceed 15 pages using the Lecture Notes in Computer Science<= br> (LNCS) <https://www.springer.com/comp= uter/lncs?SGWID=3D0-164-6-
793341-0&token=3Dprtst0416p> format.

At least one author of each accepted paper must attend VECoS 2017 to
present.

Authors of selected papers will be invited to submit extended article
versions in a special issue of Innovations in Systems and Software
Engineering : A NASA Journal <http://www.springer.com/
computer/swe/journal/11334> or of International Journal of Critical
Computer-Based Systems
<http://www.inderscience.com/jhome.php?j= code=3Dijccbs>

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D
Organization

General Chairs
Sofiene Tahar, <http://users.encs.concordia.ca/~taha= r/>
Concordia University, Montreal, Quebec, Canada
Ali Mili <https://web.njit.edu/~mili/>, New Jersey Institute of= Technology,
Newark, NJ, USA

Program Chairs
Kamel Barkaoui, <http://cedric.cnam.fr/in= dex.php/labo/membre/view?id=3D34>
CNAM, Paris, France
Hanifa Boucheneb, <http://= www.polymtl.ca/recherche/rc/professeurs/
details.php?NoProf=3D250> Polytechnique Montreal, Canada

Organizing Committee Chair
Otmane Ait Mohamed <https://users.encs.concordia.<= wbr>ca/~ait/index.html>,
Concordia University, Montreal, Quebec, Canada

Publicity Chairs
Belgacem Ben Hedia <http://www.bbhedia.org/index.
php?n=3DMain.HomePage?userlang=3Dfr>, CEA-LIST, Saclay, France
Vladimir-Alexandru Paun <http://www.ensta-paristech.fr/&g= t;, ENSTA ParisTech,
Palaiseau, France

For more information, visit the conference website:
https://vecos.ensta-paristech.fr/2017/

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D


--001a114520b8a11d75054c737391--