Program
NETYS 2025 Conference Program
WEDNESDAY May 21
| 09:30 – 10:00 | NETYS Opening Session |
| 10:00 – 11:00 |
Keynote Talk 1 : (Chair: Madhavan Mukund) Evolution, Abstraction, and Discovery with Large Language Models
Swarat Chaudhuri – University of Texas & Google DeepMind, Austin, USA |
| 11:00 – 11:30 | Coffee Break |
| 11:30 – 12:30 |
Session: Verification (Chair: Madhavan Mukund)
Reachability and Verification of Assertions for IoT Applications
Nagalakshmi S R and Meenakshi D’Souza
Enhancing Numerical Invariants Learning with Bounded Reachability Analysis
Ahmed Bouajjani, Wael-Amine Boutglay and Peter Habermehl |
| 12:30 – 14:00 | Lunch |
| 14:00 – 15:00 |
Keynote Talk 2 : Marc Shapiro – Sorbonne Université, Paris, France (Chair: Andreas Podelski) |
| 15:00 – 15:30 |
Session: Distributed Systems I (Chair : Andreas Podelski)
Distributed computation of temporal twins in periodic undirected time-varying graphs
Massinissa TIGHILT, Lina Azerouk, Camille Palisoc, Binh-Minh Bui-Xuan and Maria Potop-Butucaru |
| 15:30 – 16:00 | Coffee Break |
| 16:00 – 17:30 |
Session: Distributed Systems II (Chair : Yahya Benkaouz)
Verifying Parameterized Networks Specified by Vertex-Replacement Graph Grammars
Neven Villani, Radu Iosif and Arnaud Sangnier
Secure Lineage Storage on Public and Private Blockchains
Bilel Zaghdoudi and Maria Potop-Butucaru
Byzantine Fault-Tolerant Distributed Set Intersection with Redundancy and Its Relationship with Byzantine Optimization
Shuo Liu and Nitin Vaidya |
THURSDAY May 22
| 09:30 – 10:30 |
Keynote Talk 3 : (Chair : Salem Lahlou) Towards Verified AI-Based Autonomy
Sanjit Seshia – University of California, Berkeley, USA |
| 10:30 – 11:00 |
Session: Distributed Systems III (Chair : Mahmoud El Hamlaoui)
Pattern formation of mobile agents in dynamic grids
Masahiro Shibata, Sayaka Kamei, Fukuhito Ooshita and Hirotsugu Kakugawa |
| 11:00 – 11:30 | Coffee Break |
| 11:30 – 12:30 |
Session: Distributed Systems IV (Chair : Mahmoud El Hamlaoui)
An automaton model to succinctly represent suffix-based specifications of a distributed system
R Keerthan, B Srivathsan and R Venkatesh
SmartShards: Churn-Tolerant Continuously Available Distributed Ledger
Joseph Oglio, Mikhail Nesterenko and Gokarna Sharma |
| 12:30 – 14:00 | Lunch |
| 14:00 – 15:00 |
Keynote Talk 4 : (Chair : Salem Lahlou) Harnessing collaborative intelligence in the Post-LLM world
Praneeth Vepakomma – MBZUAI, Abu Dhabi, UAE & MIT, Cambridge, USA |
| 15:00 – 15:30 |
Session: Distributed Systems V (Chair : Mohammed-Amine Koulali)
On Restricting Separator Problems in the OBLOT Computational Landscape
Quentin Bramas and Sébastien Tixeuil |
| 15:30 – 16:00 | Coffee Break |
| 16:00 – 17:30 |
Session: Machine Learning I (Chair : Mohamed El Amine Seddik)
Going Forward-Forward in Distributed Learning
Ege Aktemur, Kaan Bilgili, Tacettin Emre Bük, Ege Zorlutuna, Süha Mutluergil and Berrin Yanıkoğlu
An Ensemble Model for 30-Minute Blood Glucose Prediction in Type 1 Diabetes: Balancing Accuracy and Simplicity
Khadija Tlemçani, Kebira Azbeg, Wafaa Wakrim, Laila Fetjah, Ouail Ouchetto and Said Jai Andaloussi
Networked LLM Agents: Toward Autonomous LLMs for Querying Heterogeneous Databases
Jamal Rebii, Mohammed Ali Essabri, Khadija Baddouj, Hanae Kolone, Nour Oulad Moussa and Mohamed Erradi |
| 20:00 – | Gala Dinner |
FRIDAY May 23 (Half Day)
| 09:30 – 10:30 |
Keynote Talk 5 : (Chair : Soufiane Ennadir) Mohamed El Amine Seddik – Technology Innovation Institute, AD, UAE |
| 10:30 – 11:00 |
Session: Machine Learning II (Chair : El Mehdi Achour)
Plant Diseases Detection with Retrieval-Augmented Generation
Khadija Ghommat,Outmane Bourkoukou |
| 11:00 – 11:15 | Coffee Break |
| 11:15 – 12:45 |
Session: Machine Learning III (Chair : El Mehdi Achour)
Impact of Sparsification and Quantization on Energy Consumption in Federated Learning
Ouiame Marnissi, Karim Boubouh, Hajar El Hammouti , El Houcine Bergou and Robert Basmadjian
Vgg-ViT: A Framework for Deepfakes Images Detection
Achraf Ibnouzaher and Noureddine Moumkine
Heterogeneous Graph Neural Network Based Arabic Coreference Resolution
Rihab El Yousfi, Mounir Ourekouch and Mohamed Erradi |
| Closing Session |
Dates
March 15th, 2025
Abstract submission deadline
March 15th, 2025
Paper submission deadline
April 16th, 2025
Accept/Reject notification
May 21-23 ,2025
Netys Conference
Proceedings
Revised selected papers will be published as a post-proceedings in Springer's LNCS "Lecture Notes in Computer Science"
Partners & Sponsors
