[2nd CfP] VECoS 2017 || August 24 - 25, 2017 - Montreal, Canada

This is a multi-part message in MIME format.
--------------FAF62D2D913FA6502E0BBBFF
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit

[Apologies if you receive multiple copies of this message]

VECoS 2017
Call for Papers
11th International Conference on Verification and Evaluation
of Computer and Communication Systems
August 24-25, 2017 Montréal, Canada
https://vecos.ensta-paristech.fr/2017/


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:
-Abstraction techniques
-Certification standards for real-time systems
-Compositional verification
-Correct-by-construction design
-Dependability assessment techniques
-Equivalence checking
-Model-checking
-Parameterized verification
-Performance and robustness evaluation
-Probabilistic verification
-QoS evaluation, planning and deployment
-RAMS (Reliability Availability Maintainability Safety) assessment
-Rigorous system design
-Security protocols verification
-Simulation techniques of discrete-event and hybrid systems
-Supervisory control
-Verification & validation of IoT
-Verification & validation of safety-critical systems
-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/
VECoS 2017 will be held August 24-25 in Montréal, Canada

*Important Dates*

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

*Invited Speakers*
We are very pleased to confirm the following invited speakers for VECoS 
2017:

-Mourad Debbabi, Concordia University, Montreal, Canada
-Michel Dagenais, Polytechnique Montreal, Canada
-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*
Ali Mili, New Jersey Institute of Technology, Newark, NJ, USA
Sofiene Tahar, Concordia University, Montreal, Quebec, Canada

*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/
========================================================================

-- 
Ayoub Nouri
Research Associate
Verimag/Univ. Grenoble Alpes
Grenoble, France


-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
--------------FAF62D2D913FA6502E0BBBFF
Content-Type: text/html; charset=utf-8
Content-Transfer-Encoding: 8bit

<html>
  <head>
    <meta http-equiv="content-type" content="text/html; charset=utf-8">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    <div class="moz-forward-container"><font face="Courier New, Courier,
        monospace" size="-1">[Apologies if you receive multiple copies
        of this message] </font><br>
      <div align="center">
        <div align="left"><font face="Courier New, Courier, monospace"
            size="-1"> <br>
          </font>
          <div align="center"><font face="Courier New, Courier,
              monospace" size="-1">VECoS 2017</font><br>
          </div>
        </div>
        <font face="Courier New, Courier, monospace" size="-1">Call for
          Papers<br>
          11th International Conference on Verification and Evaluation<br>
          of Computer and Communication Systems<br>
          August 24-25, 2017 Montréal, Canada<br>
          <a moz-do-not-send="true" class="moz-txt-link-freetext"
            href="https://vecos.ensta-paristech.fr/2017/">https://vecos.ensta-paristech.fr/2017/</a><br>
        </font></div>
      <font face="Courier New, Courier, monospace" size="-1"><br>
         <br>
        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.<br>
        <br>
        Topics of interest to the conference include, but are not
        limited to:<br>
        -Abstraction techniques<br>
        -Certification standards for real-time systems<br>
        -Compositional verification<br>
        -Correct-by-construction design<br>
        -Dependability assessment techniques<br>
        -Equivalence checking<br>
        -Model-checking<br>
        -Parameterized verification<br>
        -Performance and robustness evaluation<br>
        -Probabilistic verification<br>
        -QoS evaluation, planning and deployment<br>
        -RAMS (Reliability Availability Maintainability Safety)
        assessment<br>
        -Rigorous system design<br>
        -Security protocols verification<br>
        -Simulation techniques of discrete-event and hybrid systems<br>
        -Supervisory control<br>
        -Verification &amp; validation of IoT<br>
        -Verification &amp; validation of safety-critical systems<br>
        -Worst-case execution time analysis<br>
        <br>
        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.<br>
        <br>
        An overview of previous VECoS conferences can be found at: <a
          moz-do-not-send="true" class="moz-txt-link-freetext"
          href="https://vecos.ensta-paristech.fr/">https://vecos.ensta-paristech.fr/</a><br>
        VECoS 2017 will be held August 24-25 in Montréal, Canada<br>
        <br>
        <b>Important Dates</b><br>
        <br>
        -Abstract deadline: April 10, 2017<br>
        -Papers deadline:  April 24, 2017 (Anywhere on Earth)<br>
        -Paper notification: May 29, 2017<br>
        -Camera-ready deadline: June 12, 2017<br>
        -Conference:  August 24-25, 2017<br>
        <br>
        <b>Invited Speakers</b><br>
        We are very pleased to confirm the following invited speakers
        for VECoS 2017:<br>
        <br>
        -Mourad Debbabi, Concordia University, Montreal, Canada<br>
        -Michel Dagenais, Polytechnique Montreal, Canada<br>
        -Mengchu Zhou, NJIT, Newark, NJ, USA<br>
         <br>
        <br>
        <b>General Information on Submissions</b><br>
        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.<br>
        <br>
        At least one author of each accepted paper must attend VECoS
        2017 to present.<br>
        <br>
        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<br>
        <br>
        <b>Organization</b><br>
        <b>General Chairs</b><br>
        Ali Mili, New Jersey Institute of Technology, Newark, NJ, USA<br>
        Sofiene Tahar, Concordia University, Montreal, Quebec, Canada<br>
        <br>
        <b>Program Chairs</b><br>
        Kamel Barkaoui, CNAM, Paris, France<br>
        Hanifa Boucheneb, Polytechnique Montreal, Canada<br>
        <br>
        <b>Organizing Committee Chair</b><br>
        Otmane Ait Mohamed, Concordia University, Montreal, Quebec,
        Canada<br>
        <b><br>
        </b><b>Publicity Chairs</b><br>
        Belgacem Ben Hedia, CEA-LIST, Saclay, France<br>
        Vladimir-Alexandru Paun, ENSTA ParisTech, Palaiseau, France<br>
        <br>
        For more information, visit the conference website: <a
          moz-do-not-send="true" class="moz-txt-link-freetext"
          href="https://vecos.ensta-paristech.fr/2017/">https://vecos.ensta-paristech.fr/2017/</a><br>
========================================================================</font><br>
      <br>
      <pre class="moz-signature" cols="72">-- 
Ayoub Nouri
Research Associate
Verimag/Univ. Grenoble Alpes
Grenoble, France 
</pre>
    </div>
  </body>
</html>

--------------FAF62D2D913FA6502E0BBBFF--