conferences.computer.science

All conferences / VECoS / 2026

VECoS 2026

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

Held19–20 Nov 2026 WhereAmsterdam 🇳🇱 RankCORE C Website vecos-world.org/2026/ ↗
Closed

Submission closed on 20 Jul 2026, after an extension of 28 days.

Submission timeline

  • 20 Jul 2026 Full paper AoE 22 Jun 2026 → 6 Jul 2026 +14 days
    6 Jul 2026 → 20 Jul 2026 +14 days
  • 7 Sep 2026 Notification 22 Jul 2026 → 6 Aug 2026 +15 days
    6 Aug 2026 → 7 Sep 2026 +32 days
  • 19 Nov 2026 Conference opens

What to submit

Format
15 pages LNCS (including bibliography)
Proceedings
Springer LNCS — Paywalled
Reviewing
Single blind
Chairs and
invited speakers
Mixed genders
chairs 1 man, 1 womaninvited speakers 2 men, 0 women
How this is counted
Journal
Authors of selected papers will be invited to submit extended and revised versions of their work for consideration in a special issue of an indexed international journal (ISSE:Innovations in Systems and Software Engineering, IJCCBS: International Journal of Critical Computer-Based Systems.

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/2026/. 

-----------------------------------------------------------------------

VECoS 2026 - 19-20 November 2026, Amsterdam (Tinbergen Institute),
Netherlands
http://vecos-world.org/2026/

The 19th International Conference on Verification and Evaluation of
Computer and Communication Systems will take place on 19–20 November
2026 at the Tinbergen Institute, Amsterdam, The Netherlands.

-----------------------------------------------------------------------
-- IMPORTANT DATES --

All the deadlines are AoE (Anywhere on Earth)
- Paper submission deadline :    	6th July 2026
- Acceptance notification:		6th August 2026
- Camera-ready deadline:		1st September 2026
- Conference:     	    		19-20 November 2026

-- Invited Speakers –

- Karsten Wolf, Universität Rostock
- Sandjai Bhulai, Vrije Universiteit Amsterdam

-- 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 as Category C by CORE
Topics and more details can be found at http://vecos-world.org/2026/
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=vecos2026), using the LNCS
format (Springer, version 2.20 or later). 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 and
revised versions of their work for consideration in a special issue of
an indexed international journal (ISSE: Innovations in Systems and
Software Engineering, IJCCBS: International Journal of Critical
Computer-Based Systems.

-- ORGANIZATION --
General Co-Chairs
- Bernd Heidergott, Vrije Universiteit Amsterdam
- Djamil Aïssani, LaMOS - Béjaïa University
Program Co-Chairs
- Isabel Demongodin, LIS - Aix-Marseille University
- Mohamed Mosbah, LaBRI - Bordeaux INP
Publicity Chair
- Belgacem Ben Hedia, CEA LIST

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



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