Distributed Systems (Module 1) 2025/2026
| 09:00–11:00 | Lab 3.1, Cesena Campus | About the Course | A0 | ||
| 13:00–16:00 | Online | Why Distributed Systems? The CAP Theorem: Availability, Consistency, Failure in Distributed Systems I |
M0 C1 | ||
| 09:00–11:00 | Lab 3.1, Cesena Campus | The CAP Theorem: Availability, Consistency, Failure in Distributed Systems II | C1 | ||
| 13:00–16:00 | Room 2.4, Cesena Campus | Dependability in Distributed Systems | M1 | ||
| 09:00–11:00 | Lab 3.1, Cesena Campus | Roots of Distributed Systems: Computation in Space and Time | M2 | ||
| 13:00–16:00 | Room 2.4, Cesena Campus | Logging and Checkpointing: Towards Recovery of Distributed Systems | C2 | ||
| 09:00–11:00 | Lab 3.1, Cesena Campus | Replication and Consistency in Distributed Systems I | M3 | ||
| 13:00–16:00 | Room 2.4, Cesena Campus | Replication and Consistency in Distributed Systems II Addressing production-ready distributed systems through Kubernetes: A practical overview |
Mattia Matteini | M3 CX | |
| 13:00–16:00 | Room 2.4, Cesena Campus | The Problem of Consensus in Distributed Systems | C3 | ||
| 13:00–16:00 | Room 2.4, Cesena Campus | Distributed Ledger Technology: Blockchain as Middleware I | C4 | ||
| 09:00–11:00 | Lab 3.1, Cesena Campus | Distributed Ledger Technology: Blockchain as Middleware II | C4 | ||
| 13:00–16:00 | Room 2.4, Cesena Campus | Distributed Ledger Technology: Blockchain as Middleware III Definitions and Goals for Distributed Systems I |
C4 M4 | ||
| 13:00–16:00 | Room 2.4, Cesena Campus | Definitions and Goals for Distributed Systems II Sorts of Distributed Systems I |
M4 M5 | ||
| 13:00–16:00 | Room 2.4, Cesena Campus | Sorts of Distributed Systems II Logical Clocks |
M5 C5 | ||
| 13:00–16:00 | Room 2.4, Cesena Campus | Computing with Time Computing with Space |
M6 M7 | ||
| 13:00–16:00 | Room 2.4, Cesena Campus | Code Mobility Discussion of projects |
C6 | ||
| 11:00–13:00 | Room E3, Aule Ercolani, Bologna | Meeting with DSS Student | |||
| 13:00–16:00 | Room 2.4, Cesena Campus | Modelling Distributed Systems: Process Algebra Modelling Distributed Systems: Software and System Architectures |
M9 M8 |