Distributed Systems (Module 1) 2025/2026

Courselecture_icon.svg Fri 19 Sep 2025 09:00–11:00 Lab 3.1, Cesena Campus About the Course A0
Courselecture_icon.svg Mon 22 Sep 2025 13:00–16:00 Online Why Distributed Systems?
The CAP Theorem: Availability, Consistency, Failure in Distributed Systems I
M0 C1
Courselecture_icon.svg Fri 26 Sep 2025 09:00–11:00 Lab 3.1, Cesena Campus The CAP Theorem: Availability, Consistency, Failure in Distributed Systems II C1
Courselecture_icon.svg Mon 29 Sep 2025 13:00–16:00 Room 2.4, Cesena Campus Dependability in Distributed Systems M1
Courselecture_icon.svg Fri 3 Oct 2025 09:00–11:00 Lab 3.1, Cesena Campus Roots of Distributed Systems: Computation in Space and Time M2
Courselecture_icon.svg Mon 6 Oct 2025 13:00–16:00 Room 2.4, Cesena Campus Logging and Checkpointing: Towards Recovery of Distributed Systems C2
Courselecture_icon.svg Fri 10 Oct 2025 09:00–11:00 Lab 3.1, Cesena Campus Replication and Consistency in Distributed Systems I M3
Courselecture_icon.svg Mon 13 Oct 2025 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
Courselecture_icon.svg Mon 20 Oct 2025 13:00–16:00 Room 2.4, Cesena Campus The Problem of Consensus in Distributed Systems C3
Courselecture_icon.svg Mon 27 Oct 2025 13:00–16:00 Room 2.4, Cesena Campus Distributed Ledger Technology: Blockchain as Middleware I C4
Courselecture_icon.svg Fri 31 Oct 2025 09:00–11:00 Lab 3.1, Cesena Campus Distributed Ledger Technology: Blockchain as Middleware II C4
Courselecture_icon.svg Mon 3 Nov 2025 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
Courselecture_icon.svg Mon 10 Nov 2025 13:00–16:00 Room 2.4, Cesena Campus Definitions and Goals for Distributed Systems II
Sorts of Distributed Systems I
M4 M5
Courselecture_icon.svg Mon 17 Nov 2025 13:00–16:00 Room 2.4, Cesena Campus Sorts of Distributed Systems II
Logical Clocks
M5 C5
Courselecture_icon.svg Mon 24 Nov 2025 13:00–16:00 Room 2.4, Cesena Campus Computing with Time
Computing with Space
M6 M7
Courselecture_icon.svg Mon 1 Dec 2025 13:00–16:00 Room 2.4, Cesena Campus Code Mobility
Discussion of projects
C6
Courselecture_icon.svg Wed 3 Dec 2025 11:00–13:00 Room E3, Aule Ercolani, Bologna Meeting with DSS Student
Courselecture_icon.svg Mon 15 Dec 2025 13:00–16:00 Room 2.4, Cesena Campus Modelling Distributed Systems: Process Algebra
Modelling Distributed Systems: Software and System Architectures
M9 M8