Deprecated: Array and string offset access syntax with curly braces is deprecated in /home/netys/public_html/wp-content/plugins/better-wp-security/core/class-itsec-lib.php on line 927
VDS workshop | NETYS 2022

VDS workshop

VDS 2019 : Workshop on Verification of Distributed Systems

Modern computer systems rely crucially on concurrency and distribution to meet increasing high performance requirements. The rise of new technologies such as multi-core processors and could-computing have pushed concurrent and distributed programming to the mainstream. However, the development of concurrent and distributed systems that are both performant and consistent is a huge challenge, both from the conceptual and practical viewpoints. Researchers and practitioners in the fields of databases, cloud computing, parallel programming, concurrency, programming languages, and verification have independently tackled this challenge focusing on unique problems arising in their respective domains. We believe that there is significant potential for synergy by bringing together researchers from these diverse areas to build upon insights and techniques from each other. The main goal of this workshop is to provide an opportunity for such a synergy and to foster collaboration between the participants. Participation in the workshop is by invitation only. The workshop follows a tradition of workshops on related topics; see, e.g., FRIDA 2016 held in Marrakech, Morocco, CCDP 2015 held in Agadir, Morocco, and VDS’18 held in Essaouira, Morocco.

Workshop website: http://goto.ucsd.edu/~gleissen/vds-test/

Dates

All deadlines are at 23:59 AoE

March 5th, 2022, March 19th, 2022

Abstract submission deadline

March 12th, 2022, March 26th, 2022

Paper submission deadline

May 4th, 2022, May 7th, 2022

Accept/Reject notification

May 10th, 2022, May 14th, 2022

Camera ready copy due

May 17th-19th, 2022

Conference

Proceedings

Revised selected papers will be published as a post-proceedings in Springer's LNCS "Lecture Notes in Computer Science"

Partners & Sponsors