[TYPES/announce] WiP-VECoS2018 CFP: Work-in-progress session at VECoS 2018, Grenoble, 26-28 septembre 2018

[Ayoub Nouri]

Please accept our apologies if you receive multiple copies of this email.
-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------

Work-in-progress session (WiP-VECoS’2018)

Call for Papers

associated with the 12thInternational Conference on

Verification and Evaluation of Computer and Communication Systems

September 26-28, 2018, Grenoble, France

https://vecos.ensta-paristech.fr/2018/wip


The Work-in-Progress (WiP) session at VECoS 2018  is dedicated to new 
and ongoing research in the field of analysis of computer and 
communication systems in which functional and extra-functional 
properties are inter-related. Authors are invited to submit short papers 
describing ongoing, unpublished work in all areas of formal methods, 
including applications, systems, tools, methodologies, foundations, and 
design. In keeping with the spirit of the main conference, submissions 
with an emphasis on tools and application aspects are especially 
encouraged. The WiP session provides researchers and developers with an 
opportunity to discuss evolving and early-stage ideas, new research 
directions, to review current trends in the area and to receive feedback 
from the formal methods community at large.


Submissions

Submissions should be in form of short papers not exceeding 5 pages in 
the Lecture Notes in Computer Science (LNCS) 
<https://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0&token=prtst0416p>format, 
including references and appendices. Titles should conform to the format 
“Work-in-Progress: WiP_Title”. All contributions should be submitted 
electronically in PDF via easychair 
(https://easychair.org/conferences/?conf=vecos2018 
<https://easychair.org/conferences/conference_dir.cgi?a=16517570>). 
Latex and MSWord LNCS templates can be downloaded online 
<https://www.springer.com/fr/computer-science/lncs/conference-proceedings-guidelines>.


Accepted papers will be published in separate VECoS WiP Proceedings and 
will be available electronically on the VECoS Web site.


Authors of accepted papers are expected to give a brief presentation in 
the work-in-progress session of the conference and to showcase their 
work at the poster session. By submitting a paper, the authors agree 
that, in case of acceptance, at least one author will register to the 
conference and present the work at the Work-in-Progress session.


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 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

All the deadlines are AoE (Anywhere on Earth)

Papers deadline: July 15, 2018

Paper notification: July 25, 2018

Camera-ready deadline: July 30, 2018

Conference: September 26 – 28, 2018


Program Co-Chairs

Ayoub Nouri (chair), Verimag / University Grenoble Alpes, France

Belgacem Ben Hedia (co-chair), CEA-LIST, Saclay, France


Contact for more information

https://vecos.ensta-paristech.fr/2018/wip

(ayoub.nouri at univ-grenoble-alpes.fr 
<mailto:ayoub.nouri at univ-grenoble-alpes.fr>& belgacem.ben-hedia at cea.fr 
<mailto:belgacem.ben-hedia at cea.fr>)

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180626/0b4f8744/attachment-0001.html>