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: Next Step Refining federations  Intuitions, concepts, interfaces, properties Role of CRDT + confluent programming for federations  Potential, limitations Synergy between gossip & quasi-causal programming  Role of emergent topologies  To implement federations Services offered to Tasks 2 & 3  Prototype, API, framework  Link to use cases F. Taiani3