21-05-2025
NETYS 2025 Launches at UM6P with a Deep Dive into AI and Smart Networks
Rabat – The 13th edition of the International Conference on Networked Systems (NETYS 2025) kicked off today at Mohammed VI Polytechnic University's College of Computing in Rabat. Organized under the auspices of King Mohammed VI, the conference runs from May 21 to 23, 2025.
Organized by UM6P 's College of Computing, NETYS 2025 is held as part of a broader scientific week dedicated to artificial intelligence and digital technologies.
The event brings together over 400 participants, including researchers, experts, and professionals from Morocco and abroad to discuss cutting-edge topics, including machine learning algorithms, distributed systems, cybersecurity, cloud computing innovations, and recent advances in AI.
'The major questions redefining the future of AI and distributed systems are global in nature. It is therefore essential to build platforms for reflection that match the scale of these challenges,' stressed Professor Rachid Guerraoui, Chair of the Steering Committee of the College of Computing at UM6P.
'By hosting these events in Rabat, we are continuing our ambition to foster an academic ecosystem where top experts, young talents, and the most influential voices come together to write the next chapter of the digital era.'
While NETYS has long been a space for sharing theoretical research in networked systems, this year's edition feels particularly timely. The world is grappling with the dual challenge of accelerating AI adoption while ensuring digital infrastructure remains verifiable, secure, and inclusive.
In this context, NETYS is not just a platform for academic exchange; it's a strategic meeting point where foundational computing science meets global tech policy and industrial transformation.
Forum for thinking strategically, beyond theory
This year's edition addresses key developments in distributed computing, security, formal methods, and machine learning. It aims to create a space for collaboration and the exchange of research ideas between academics and engineers, covering the design, development, and analysis of networked systems.
Topics of interest span cloud systems, concurrent algorithms, formal verification, data science, parallel programming, multi-core architectures, large language models, and more.
Rachid Guerraoui opened the conference with an introductory speech that highlighted the significance of the event in strengthening scientific cooperation and advancing research in intelligent systems and digital transformation.
The first keynote talk was chaired by Madhavan Mukund and delivered by Swarat Chaudhuri, professor at the University of Texas and researcher at Google DeepMind.
Titled ' Evolution, Abstraction, and Discovery with Large Language Models,' the keynote explored the rapid evolution of Large Language Models (LLM) and the process of generating them into a target theorem.
Chaudhuri explored the use of AI in both mathematical and scientific discovery, emphasizing the role of large language models (LLMs) in simplifying complex reasoning processes. LLMs were highlighted as a valuable tool in facilitating empirical discoveries.
The first technical session, 'Verification,' featured two research presentations. The first, ' Reachability and Verification of Assertions for IoT Applications ' by Nagalakshmi S. R. and Meenakshi D'Souza, tackled challenges in verifying safety and correctness within Internet of Things (IoT) applications.
The session's second offering, 'Enhancing Numerical Invariants Learning with Bounded Reachability Analysis,' was presented by Wael-Amine and done by Ahmed Bouajjani, Boutglay, and Peter Habermehl. It focused on integrating bounded reachability techniques to improve the learning of numerical invariants in system verification.
Throughout the three-day event, participants will continue exploring themes related to networked systems, distributed computing, and machine learning.
NETYS 2025 serves as a platform to present original research contributions and discuss the latest trends and techniques, offering a dynamic forum for innovation, academic discourse, and cross-sector partnerships.
