[FM-India]NETYS 2023 - Deadline Extension

Call For Papers (Deadline Extension) THE 11th INTERNATIONAL CONFERENCE ON NETWORKED SYSTEMS (NETYS 2023) May 22-24, 2023, Marrakech, Morroco http://www.netys.net Aim and Scope: -------------- NETYS aims to bring together researchers and engineers from both the theory and practice of distributed and networked systems. The scope of the conference covers all aspects related to the design and the development of these systems, including, but not restricted to, concurrent and distributed algorithms, parallel/concurrent/distributed programming, multi-core architectures, distributed databases, cloud systems, networks, security, formal verification, etc. NETYS will provide a forum to report on best practices and novel algorithms, results and techniques on networked systems. Original research contributions and experience papers on the principles, design, implementation, modeling, analysis, verification, and application of networked systems are solicited. Topics of interest include (but are not limited to): - Cloud systems and data centers - Parallel/concurrent/distributed algorithms and programming - Cyber-physical systems - Distributed databases, embedded and operating systems - Distributed ledgers and blockchain technologies - Event-based systems - Formal verification - Internet of Things, 5G, URLLC - Mobile, wireless, ad-hoc and sensor networks - Game Theory, Mechanisms design - Overlay and peer-to-peer infrastructures - Decentralized Artificial Intelligence/Machine Learning - Multi-core architectures and multithreaded applications - Security and privacy - Self-stabilizing, self-organizing, and autonomic systems - Social networks - Static and dynamic analysis and testing - Collaborative intelligent systems Confirmed Keynote Speakers: --------------------------- Gilles Barthe (Max Planck Institute for Security and Privacy, Germany) Nikolaj Bjorner (Microsoft Research, USA) Nate Foster (Cornell University, USA) Iordanis Kerenidis (University Paris Diderot, France) Peter Müller (ETH Zurich, Switzerland) Ruzica Piskac (Yale University, USA) Important dates (all deadlines are at 23:59 AoE): ----------------- - Abstract submission: March 22, 2023 (recommended) - Paper submission: March 29, 2023 - Notifications: April 27, 2023 - Camera-ready submission: May 11, 2023 - Conference dates: May 22-24, 2023 Publication: ------------ Springer's Lecture Notes in Computer Science series will publish the proceedings of the conference (https://www.springer.com/gp/computer-science/lncs). It is required that each accepted paper be presented at the conference by one of its authors. Submission Instructions: ------------------------ All submissions must follow the LNCS template and be written in English. Full papers are allowed a maximum of 15 pages in the LNCS format, excluding bibliographic references, whereas short papers are allowed a maximum of 5 pages (in the same format). Papers exceeding these limits may be rejected without review. A clearly marked appendix can be included for supplementary materials but the appendix will be read at the discretion of the reviewers; therefore, the main body of the paper should contain sufficient details to assess its contributions. Submission of papers is via EasyChair: https://easychair.org/conferences/?conf=netys2023 Program Chairs: David Mohaisen <mohaisen(a)ucf.edu> Thomas Wies <wies(a)cs.nyu.edu>