[FM-India]NETYS 2025 - First Call for Papers

Call for Papers THE 13th INTERNATIONAL CONFERENCE ON NETWORKED SYSTEMS (NETYS 2025) May 21st-23rd, 2025, Rabat, Morocco http://www.netys.net AIM AND SCOPE NETYS aims to bring together researchers and engineers from 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, cloud systems, formal verification, concurrent and distributed algorithms, data management, data science, parallel/concurrent/distributed programming, machine learning theory and applications, large language models, multicore architectures, networks, and security. NETYS will provide a forum to report on best practices, 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 are broadly divided into three categories: networked systems, distributed computing and machine learning. Topics of interest include (but are not limited to): 1. NETWORKED SYSTEMS - Cloud systems and data centers - Cyber-physical systems - Distributed database, embedded and operating systems - Multicore architectures and multithreaded applications - Distributed ledgers and blockchain technologies - Internet of Things, 5G, URLLC - Mobile, wireless, ad-hoc and sensor networks - Social networks - Overlay and peer-to-peer infrastructures 2. DISTRIBUTED COMPUTING - Concurrency, synchronization and persistence - Distributed and concurrent data structures - Languages, verification and formal methods for distributed systems - Design and analysis of distributed algorithms - Lower bounds and impossibility results for distributed computing - Game theory, mechanisms design - Fault-tolerance, reliability, self-stabilizing, self-organizing, and autonomic systems - Collaborative intelligent systems 3. MACHINE LEARNING - Collaborative/federated learning - Distributed Machine learning - Trustworthy machine learning - Large language models theory and applications - Fairness and privacy in machine learning - Reinforcement learning theory and applications - Generative AI - Optimization algorithms IMPORTANT DATES (all deadlines are at 23:59 AoE) - Abstract submission: March 1st, 2025 - Paper submission: March 8th, 2025 - Notifications: April 14th, 2025 - Conference dates: May 21st-23rd, 2025 PUBLICATION Springer's Lecture Notes in Computer Science series will publish conference proceedings (https://www.springer.com/gp/computer-science/lncs). One of the authors of each accepted paper must present it at the conference. 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 it will be read at the reviewers' discretion; therefore, the main body of the paper should contain sufficient details to assess its contributions. Submission of papers is via Microsoft CMT: https://cmt3.research.microsoft.com/NETYS2025/ PROGRAM CHAIRS Madhavan Mukund <madhavan(a)cmi.ac.in> Salem Lahlou <salem.lahlou(a)mbzuai.ac.ae>