1. SocioPlug Task1: Data Production – Consistency And Programming François Taïani – IRISA / ASAP

2. Outline Reminder : Goals of Task 1  F. Taiani (IRISA) 5” Quasi Causal Consistency: Early Results  Achour Mostéfaoui (LINA) 15”+5” Exploiting emergent localities : Collective Survivability  Francois Taiani (IRISA) 15”+5” Probabilistic Deduplication for Distributed Storage  Davide Frey (IRISA) 15”+5” Programming Federations: Some approaches  Pascal Molli (LINA) 15’’+5’’ Discussion: Challenges and Next Steps for Task 1  F. Taiani 5” F. Taiani2

3. Task 1: Goals Subtask 1: Quasi-causal data structures  midpoint bet. pure monoticity full causality  link / application to social applications Subtask 2: Emergent Localities  address heterogeneity of plug infrastructure  provide ground for quasi-causal data structure Subtask 3: Prototyping  programming framework for demonstration and diffusion F. Taiani3

4. Task 1: Shedding Light on Goals Objective: SotA + understanding needs of other tasks Subtask 1: Quasi-causal data structures  Achour’s talk Subtask 2: Emergent Localities  François’ and Davide’s talks Subtask 3: Prototyping  Pascal’s talk F. Taiani4