===========================================================================
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 May 8, 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 Papers deadline: April 8, 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/
<http://www.polymtl.ca/recherche/rc/en/professeurs/details.php?NoProf=117>
details.php?NoProf=117
<http://www.polymtl.ca/recherche/rc/en/professeurs/details.php?NoProf=117>>,
Polytechnique Montreal, Canada
o Zhiwu Li <https://sites.google.com/site/zhiwulisys/home>, Xidian
University, China
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= 50603016.qOLToNquHY75MxLI>
and should not exceed 15 pages using the Lecture Notes in Computer Science
(LNCS) <https://www.springer.com/computer/lncs?SGWID=0-164-6-
793341-0&token=prtst0416p> 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?jcode=ijccbs>
=============================================================================
Organization
General Chairs
Sofiene Tahar, <http://users.encs.concordia.ca/~tahar/>
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/index.php/labo/membre/view?id=34>
CNAM, Paris, France
Hanifa Boucheneb, <http://www.polymtl.ca/recherche/rc/professeurs/
<http://www.polymtl.ca/recherche/rc/professeurs/details.php?NoProf=250>
details.php?NoProf=250
<http://www.polymtl.ca/recherche/rc/professeurs/details.php?NoProf=250>>
Polytechnique Montreal, Canada
Organizing Committee Chair
Otmane Ait Mohamed <https://users.encs.concordia.ca/~ait/index.html>,
Concordia University, Montreal, Quebec, Canada
Publicity Chairs
Belgacem Ben Hedia <http://www.bbhedia.org/index.
php?n=Main.HomePage?userlang=fr>, CEA-LIST, Saclay, France
Vladimir-Alexandru Paun <http://www.ensta-paristech.fr/>, ENSTA ParisTech,
Palaiseau, France
For more information, visit the conference website:
https://vecos.ensta-paristech.fr/2017/
=============================================================================
--
Osman Hasan, Ph.D.
Head of Department (Research),
Location: A.307 Faculty Block
School of Electrical Engineering and Computer Science,
NUST, Sector H12, Islamabad, Pakistan.
Voice : +92.51.90852137
Web: ohasan.seecs.nust.edu.pk
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info