Distributed Systems (Module 1) 2024/2025
| 13:00–16:00 | Room 2.4, Cesena Campus | About the Course Why Distributed Systems? The CAP Theorem: Availability, Consistency, Failure in Distributed Systems |
A0 M0 C1 | ||
| 15:00–17:00 | Lab 3.1, Cesena Campus | SPRITE Student Association – Presentation Replication and Consistency in Distributed Systems I |
M1 | ||
| 13:00–16:00 | Room 2.4, Cesena Campus | Replication and Consistency in Distributed Systems II Dependability in Distributed Systems Roots of Distributed Systems: Computation in Space and Time |
M1 M2 M3 | ||
| 15:00–17:00 | Lab 3.1, Cesena Campus | The Problem of Consensus in Distributed Systems | C2 | ||
| 13:00–16:00 | Room 2.4, Cesena Campus | Definitions and Goals for Distributed Systems | M4 | ||
| 15:00–17:00 | Lab 3.1, Cesena Campus | Sorts of Distributed Systems | M5 | ||
| 13:00–16:00 | Room 2.4, Cesena Campus | Distributed Ledger Technology: Blockchain as Middleware I | C3 | ||
| 15:00–17:00 | Lab 3.1, Cesena Campus | Distributed Ledger Technology: Blockchain as Middleware II | C3 | ||
| 13:00–16:00 | Da remoto, per alluvione | Modelling Distributed Systems: Software and System Architectures Representational State Transfer (ReST) |
M6 C4 | ||
| 13:00–16:00 | Room 2.4, Cesena Campus | Modelling Distributed Systems: Process Algebra Logical Clocks |
M7 C5 | ||
| 13:00–16:00 | Room 2.4, Cesena Campus | Computing with Time Agents for Distributed Systems I |
M8 M9 | ||
| 13:00–16:00 | Room 2.4, Cesena Campus | Agents for Distributed Systems II | M9 | ||
| 13:00–16:00 | Room 2.4, Cesena Campus | Agents for Distributed Systems III Simple Agents in Jade |
M9 C6 | ||
| 13:00–16:00 | Room 2.4, Cesena Campus | Coordination in Linda | C7 | ||
| 15:00–17:00 | Lab 3.1, Cesena Campus | Collection of students’ opinions Discussion of students’ projects |
Matteo Magnini | ||
| 13:00–16:00 | Room 2.4, Cesena Campus | Coordination of Distributed Systems | M10 | ||
| 13:00–16:00 | Room 2.4, Cesena Campus | Code Mobility Computing with Space |
C8 M11 |