Las jornadas comenzarán el miércoles día 9 a primera hora (es recomendable por tanto llegar la tarde anterior) y acabarán el viernes 11 tras la comida.
| Miércoles 9 | Jueves 10 | Viernes 11 | |||
|---|---|---|---|---|---|
| Hora | Actividad | Hora | Actividad | Hora | Actividad |
| 09:30 | Recogida de documentación y Apertura | 09:30 | Escala | 09:30 | Formalismos |
| 10:15 | Charla: Distributed Coordination, Flavio Junqueira | Macro-economic regulation for workload redistribution in large-scale shared infrastructure | Formal Sequentialization and Communication Elimination of Distributed Systems with an Equivalence Prover | ||
| Decentralized resource discovery for contributory communities | Una Semántica de Trazabilidad para CSP | ||||
| Uso de simulación multi-agente distribuida para resolver el problema de enrutamiento de vehículos | A Genetic Algorithm Specification and Analysis in ROSA | ||||
| Protocolo de caché consistente para sistemas e multicapa | 11:00 | Descanso (30 min) | |||
| 11:30 | Descanso (30 min) | 11:30 | Descanso (30 min) | Formalismos | |
| Distribución | Fallos | |
|||
| Resolución del efecto convoy en arquitecturas jerárquicas de comunicación causal | Sobre el Problema de la Disponibilidad de Nodos y Servicios en Sistemas Distribuidos de Gran Escala | Testing of e-commerce agents | |||
| 1-Copy Equivalence: Atomic Commit Versus Atomic Broadcast in Termination Protocols | A Simple and Quiescent Omega Algorithm in the Crash-Recovery Model | 12:30 | Comida | ||
| Dynamically Switching Total-Order Broadcast Protocols | An Efficient Implementation of Omega | ||||
| Brief Announcement: Contention Resolution in Multiple-Access Channels or k-Selection in Radio Networks | On Communication-efficient Failure Detection in Omission Environments | ||||
| 14:00 | Comida | 14:00 | Comida | 14:00 | Salida de Núria (salida del cremallera) |
| 15:30 | Descentralización | 15:00 | Actividad social: excursión a Font Negra | Autocar: Llegada aeropuerto (estimada a partir de 17 h) | |
| When Identities Persist on P2P Lookup Services: A Vision | |||||
| Utility Driven Service Routing over Large Scale Infrastructures | 19:00 | | |||
| bIT Crowd: Advantages of having friends | |||||
| 17:00 | Actividad social: paseo/excursión por el valle y alrededores | 21:00 | Cena social | ||