conferences.computer.science

All conferences / VECoS / 2024

VECoS 2024

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

Held16–18 Oct 2024 WhereDjerba 🇹🇳 RankCORE C Website vecos-world.org/2024/ ↗
Closed

Submission closed on 5 Jul 2024, after an extension of 53 days.

Submission timeline

  • 5 Jul 2024 Full paper AoE 13 May 2024 → 10 Jun 2024 +28 days
    10 Jun 2024 → 24 Jun 2024 +14 days
    24 Jun 2024 → 5 Jul 2024 +11 days
  • 12 Aug 2024 Notification 8 Jul 2024 → 15 Jul 2024 +7 days
    15 Jul 2024 → 29 Jul 2024 +14 days
    29 Jul 2024 → 12 Aug 2024 +14 days
  • 16 Oct 2024 Conference opens

What to submit

Format
15 pages LNCS (including bibliography)
Proceedings
Springer LNCS — Paywalled

Authors of selected papers will be invited to submit extended article versions to a special issue of an index journal (ISSE or IJCCBS).

Call for papers

Posters, images and calls for participation are kept for the record but not reproduced here.

The call, as published

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

*** D E A D L I N E   E X T E N D E D   ( F I R M  D A T E) ***
At the request of several colleagues, we have decided to extend the deadline by a few days to allow certain authors to finalize their papers.
[please, accept our apologies should you receive this message multiple times]
[feel free to forward to potentially interested colleagues]
*************************************************************************


VECoS 2024 - 16-18 October 2024, Djerba, Tunisia (EXTENDED DEADLINE)

http://vecos-world.org/2024/

The 17th International Conference on Verification and Evaluation of Computer and Communication Systems will taking place on 16-18 October 2024 at Djerba, Tunisia

*****************************************************************

-- IMPORTANT DATES --

All the deadlines are AoE (Anywhere on Earth)

* Submission deadline :    		24th June 2024 O5th July 2024

* Acceptance notification:			12th August 2024

* Camera-ready deadline:			26th August 2024

* Conference:     	    			16-18 October 2024

-- 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. VECoS is referenced by https://conferences-computer.science/ and ranked in category C by CORE

Topics and more details can be found at http://vecos-world.org/2024/

An overview of previous VECoS conferences can be found at :

http://vecos-world.org/


-- 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=vecos2024), 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 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, IJCCBS: International Journal of Critical Computer-Based Systems or Arima journal).


-- ORGANIZATION --

Program Co-Chairs

* Mohamed Ghazel, Gustave Eiffel University, France

* Bruno Monsuez, ENSTA paris, France

Publicity Chair

* Belgacem Ben Hedia, CEA LIST, Saclay, France

For additional information, visit the conference website:

http://vecos-world.org/2024/

--
Belgacem BEN HEDIA, PhD
Research Engineer

CEA LIST Institute
Digital Systems and Integrated Circuits Division (DSCIN)
Architecture & Design Environment Laboratory (LECA)
Centre de Saclay - PC172
91191 Gif-sur-Yvette CEDEX - FRANCE
Phone: +33 1 69 08 21 22
Mail:belgacem.ben-hedia@cea.fr

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.