Tuesday May 16
18:00 – 20:00 Registration
Wednesday May 17
08:00 – 09:00 Registration
09:00 – 09:30 Opening Session
09:30 – 10:30 Keynote Talk I – (Chair Rachid Guerraoui)
Another Look at the Implementation of Read/write Registers in Crash-prone Asynchronous Message-Passing Systems (Slides),
Michel Raynal, IRISA, Université de Rennes, France
10:30 – 11:00 Coffee Break
11:00 – 12:00 Session 1: Networking I
(Chair: Petr Kuznetsov)
12:00 – 13:00 Session 2: Distributed Algorithms I
(Chair: Sergio Rajsbaum)
13:00 – 14:30 Lunch
14:30 – 15:30 Session 3: Atomicity
(Chair: Michel Raynal)
15:30 – 16:15 Session 4: Policies
(Chair: Amr El Abbadi)
16:30 Social Event
Thursday May 18
08:00 – 09:00 Registration
09:00 – 10:00 Keynote talk II – (Chair: Ahmed Bouajjani)
Tasks, objects, and the notion of a distributed problem (Slides),
Sergio Rajsbaum, Universidad Nacional Autonoma de Mexico, Mexico
10:00 – 10:45 Coffee Break / Poster Session
10:45 – 11:30 Session 5: Clustering based Techniques
(Chair: François Taiani)
11:30 – 13:00 Session 6: Verification
(Chair: Ahmed Bouajjani)
13:00 – 14:30 Lunch
14:30 – 16:30 Session 7: Security and Privacy
(Chair: Alexander A. Schwarzmann)
16:30 – 17:00 Coffee Break / Poster Session
17:00 – 18:45 Session 8: Agreement and Consensus
(Chair: Achour Mostefaoui)
20:30 Gala Dinner
Friday May 19
09:00 – 10:00 Keynote talk III – (Chair: Rachid Guerraoui)
Atomic Shared Objects for Distributed Systems: Consistency, Latency, Reconfiguration (Slides),
Alexander A. Schwarzmann, University of Connecticut, USA
10:00 – 10:30 Coffee Break
10:30 – 12:00 Session 9: Concurrency and Specifications
(Chair: François Taiani)
12:00 – 13:00 Session 10: Networking II
(Chair: Ismail Berrada)
13:00 – 14:30 Lunch
14:30 – 15:45 Session 11: Distributed Algorithms II
(Chair: Zahi Jarir)
15:45 – 16:15 Coffee Break
16:15 – 17:15 Session 12: Communication
(Chair: Abdellah Boulouz)
17:15 – 18:15 Session 13: Software Engineering
(Chair: Yahya Benkaouz)
18:15 – 18:30 Closing Session


Session 1: Networking I

  • - Raihana Mokhlissi, Dounia Lotfi, Joyati Debnath and Mohamed El Marraki. An Innovative Combinatorial Approach for the Spanning Tree Entropy in Flower Network
  • - Mohammed Gabli, Soufiane Dahmani, El Bekkaye Mermri and Abdelhafid Serghini. A Dynamic Genetic Algorithm Approach to the Problem of UMTS Network Assignment

Session 2: Distributed Algorithms I

  • - Shlomi Dolev, Chryssis Georgiou, Ioannis Marcoullis and Elad Michael Schiller. Self-Stabilizing Reconfiguration
  • - Debasish Pattanayak, Kaushik Mondal, Partha Sarathi Mandal and Stefan Schmid. Convergence of Even Simpler Robots without Location Information

Session 3: Atomicity

  • - Theophanis Hadjistasi, Nicolas Nicolaou and Alexander Schwarzmann. Oh-RAM! One and a Half Round Atomic Memory
  • - Egor Derevenetc, Roland Meyer and Sebastian Schweizer. Locality and Singularity for Store-Atomic Memory Models

Session 4: Policies

  • - Rezwana Reaz, H. B. Acharya, Ehab S. Elmallah, Jorge A. Cobb and Mohamed G. Gouda. Policy Expressions and the Bottom-Up Design of Computing Policies
  • - (Short) Meryeme Ayache, Mohammed Erradi, Bernd Freisleben and Ahmed Khoumsi. Using Aspect-Oriented State Machines for Resolving Conflicts in XACML Policies

Session 5: Clustering based Techniques

  • - Chen Avin, Louis Cohen and Stefan Schmid. Competitive Clustering of Stochastic Communication Patterns on the Ring
  • - (Short) Moufida Rahmani and Mahfoud Benchaïba. Toward a Resource Availability Measurement in Peer to Peer Systems

Session 6: Verification

  • - Truc Nguyen Lam, Bernd Fischer, Salvatore La Torre and Gennaro Parlato. Concurrent Program Verification with Lazy Sequentialization and Interval Analysis
  • - Armando Castaneda, Sergio Rajsbaum and Michel Raynal. Long-Lived Tasks
  • - Marcio Diaz and Tayssir Touili. Reachability Analysis of Dynamic Pushdown Networks with Priorities

Session 7: Security and Privacy

  • - Shlomi Dolev and Daniel Khankin. Monitorability Bounds via Expander, Sparsifier and Random Walks. The Interplay Between On-Demand Monitoring and Anonymity
  • - Arielle Moro and Benoît Garbinato. A location privacy estimator based on spatio-temporal location uncertainties
  • - Amira Soliman and Sarunas Girdzijauskas. AdaGraph: Adaptive Graph-based Algorithms for Spam Detection in Social Networks
  • - Wafa Neji, Kaouther Blibech and Narjes Ben Rajeb. Incoercible fully-remote electronic voting protocol

Session 8: Agreement and Consensus

  • - Petr Kuznetsov and Thibault Rieutord. Agreement Functions for Distributed Computing Models
  • - Edward Talmage and Jennifer Welch. Anomalies and Similarities among Consensus Numbers of Variously-Relaxed Queues
  • - Armando Castaneda, Yoram Moses, Michel Raynal and Matthieu Roy. Early Decision and Stopping in Synchronous Consensus: a Predicate-Based Guided Tour
  • - (Short) Peva Blanchard, Rachid Guerraoui, Julien Stainer and Igor Zablotchi. The Disclosure Power of Shared Objects

Session 9: Concurrency and Specifications

  • - Karolos Antoniadis, Rachid Guerraoui, Julien Stainer and Vasileios Trigonakis. Sequential Proximity: Towards Provably Scalable Concurrent Search Algorithms
  • - Yu-Fang Chen, Chih-Duo Hong, Ondrej Lengal, Shin-Cheng Mu, Nishant Sinha and Bow Yaw Wang. An Executable Sequential Specification for Spark Aggregation
  • - Prakash Saivasan, Mohamed Faouzi Atig, Ahmed Bouajjani and K. Narayan Kumar. Parity games over bounded phase multi-pushdown systems

Session 10: Networking II

  • - Hassan Faouzi, Mohamed Er-Erouidi, Houda Moudni, Hicham Mouncif and Mohamed Lamsaadi. Improving network lifetime of ad hoc network using energy AODV (E-AODV) routing protocol in real radio environment-
  • - Mohamed Er-Rouidi, Houda Moudni, Hassan Faouzi, Hicham Mouncif and Abdelkrim Merbouha. A Fuzzy-based Routing Strategy to Improve Route Stability in MANET Based on AODV

Session 11: Distributed Algorithms II

  • - Maryem Ait El Hadj, Yahya Benkaouz, Bernd Freisleben and Mohammed Erradi. ABAC Rule Reduction via Similarity Computation
  • - Khalil Laghmari, Christophe Marsala and Mohammed Ramdani. A distributed recommender system based on graded multi-label classification
  • - (Short) Anne-Marie Kermarrec, Nupur Mittal and Javier Olivares. Multithreading approach to process real-time updates in KNN algorithms

Session 12: Communication

  • - Ait Omar Driss, Outanoute M’Hamed, Baslam Mohamed, Fakir Mohamed and Bouikhalene Belaid. Joint price and QoS competition with bounded rational costumers
  • - Achraf Ait Beni Ifit, Othmane Alaoui Fdili, Patrick Corlay, Francois-Xavier Coudoux and Driss Aboutajdine. Profiling and modelling of HEVC intra video encoder’s energy consumption for next generation WVSNS

Session 13: Software Engineering

  • - Meriem Atifi, Abdelaziz Marzak and Abdelaziz Mamouni. A Comparative Study of Software Testing Techniques
  • - (Short) Rachida Hassani, Younès El Bouzekri El Idrissi and Abdellah Abouabdellah. Software Project Management in the era of Digital Transformation
  • - (Short) Mouad Mansouri and Leghris Cherkaoui. Using fuzzy Gray Relational Analysis in the vertical handover process in wireless networks

Extended deadlines

November 25, 2016

December 02, 2016

Abstract submission deadline

December 02, 2016

December 09, 2016

Paper submission deadline

January 27, 2017

Acceptance notification

March 03, 2017

Camera ready copy due



The proceedings of the conference will be published in Springer’s Lecture Notes in Computer Science

Partners & Sponsors