conferences.computer.science

All conferences / VECoS / 2019

VECoS 2019

13th International Conference on Verification and Evaluation of Computer and Communication Systems

Held7–9 Oct 2019 WherePorto 🇵🇹 RankCORE unranked Website vecos-world.org/2019/ ↗
Closed

Submission closed on 19 May 2019, after an extension of 11 days.

Submission timeline

  • 19 May 2019 Abstract registration AoE 23 Apr 2019 → 19 May 2019 +26 days
  • 19 May 2019 Full paper AoE 8 May 2019 → 19 May 2019 +11 days
  • 18 Jun 2019 Notification 11 Jun 2019 → 18 Jun 2019 +7 days
  • 7 Oct 2019 Conference opens

What to submit

Format
15 pages LNCS
Proceedings
Springer LNCS — Paywalled

Co-located with 23rd International Symposium on Formal Methods (FM 2019) - 3rd World Congress on Formal Methods. Authors of selected papers will be invited to submit extended article versions to a special issue of Innovations in Systems and Software Engineering: A NASA Journal or of International Journal of Critical Computer-Based Systems.

Call for papers

The call, as published

Reproduced verbatim from the organisers’ announcement, after a deadline extension. The conference’s own page is at vecos-world.org/2019/. 

[Apologies if you receive multiple copies of this message]
*****************************************************************
VECoS 2019 - **Deadline Extended to May 19**

 Last Call for Papers

13th International Conference on
Verification and Evaluation of Computer and Communication Systems

October 7-9, 2019, Porto, Portugal
Co-located with 23rd International Symposium on Formal Methods (FM 2019) – 3rd World Congress on Formal Methods
http://vecos-world.org/2019/
*****************************************************************

-- INVITED SPEAKERS --

 * Ahmed Bouajjani, Université Paris Diderot (Paris VII), IRIF Laboratory, France
 * Ali Mili, New Jersey Institute of Technology, Newark, USA

 
-- IMPORTANT DATES --

 All the deadlines are AoE (Anywhere on Earth)

 * Papers deadline:             19 May   2019
 * Paper notification:         11 June  2019
 * Camera-ready deadline:      28 June  2019
 * Conference:                 7–9 October 2019

 
-- ABOUT VECoS --

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

 Topics of interest include, but are not limited to:

 * Abstraction techniques
 * Compositional verification
 * Correct-by-construction design
 * Rigorous system design
 * Equivalence checking
 * Model-checking
 * Parameterized verification
 * Performance and robustness evaluation
 * Probabilistic verification
 * QoS evaluation, planning and deployment
 * Dependability assessment techniques
 * RAMS (Reliability-Availability-Maintainability-Safety)
   assessment
 * Model-based Security assessment
 * Security protocols verification
 * Discrete-event and hybrid systems Modeling and Simulation
 * Supervisory control
 * Verification & validation of IoT
 * Verification & validation of safety-critical systems
 * Assessment for real-time systems
 * Worst-case execution time analysis

 Application areas of interest to VECoS include: adaptive systems, communication protocols, computer-supported collaborative work systems, cloud computing, cyber-physical systems, high-performance computing, internet of things, logistics systems, manufacturing 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:
http://vecos-world.org/

VECoS 2019 will be held in October 7-9 in Porto, Portugal and will be co-located with the International Symposium on Formal Methods, FM 2019.


-- GENERAL INFORMATION ON SUBMISSIONS --

 Submitted papers must be no longer than 15 pages
(including bibliography), written in English, presenting original work and not be submitted
for publication elsewhere.  Papers must be submitted electronically in PDF format through EasyChair (https://easychair.org/conferences/?conf=vecos2019), using the LNCS format (version 2.20 or above).  Accepted papers will appear in the conference proceedings.  At least one author of each accepted paper must attend the conference and present the paper.

The conference proceedings will be published in the Springer-Verlag Lecture Notes in Computer Science (LNCS) series.

 Authors of selected papers will be invited to submit extended versions for a special issue of the Selected papers from the Conference will be considered for publication in extended and revised form in a special issue of an indexed international journal (ISSE:Innovations in Systems and Software Engineering or IJCCBS: International Journal of Critical Computer-Based Systems)

 
-- ORGANIZATION --

 Program Chairs
 * Pierre Ganty, IMDEA Software Institute, Madrid, Spain
 * Mohamed Kaaniche, LAAS-CNRS, Toulouse, France

 Publicity Chairs
 * Belgacem Ben Hedia, CEA-LIST, Saclay, France
 * Vladimir-Alexandru Paun, ENSTA ParisTech, Palaiseau, France

 For additional information, visit the conference website:http://vecos-world.org/2019/

Data entirely hand-typed, one call for papers at a time. There is no scraper behind any of this: I read the announcement and type the dates in, in the gaps between other work, and with the hope it is useful to others. Organisers then move deadlines without telling anyone, calls get edited in place, and now and then the typing is simply wrong. Treat this as a well-meaning notebook rather than an authority, and check the conference’s own page before you submit anything you care about.