| N | Data | Time | Room | Kind | Topic |
| 1t | Thu 24/09 | 14:00-16:00 | P1 | theory | An introduction to the course and a taste of syntax vs. sematics |
| 2t | Fri 25/09 | 16:00-18:00 | G | theory | Operational and denotational semantics |
| 1l | Tue 29/09 | 11:00-13:00 | N | lab | Why build a language? |
| 3t | Thu 01/10 | 14:00-16:00 | P1 | theory | What is unification? |
| 4t | Fri 02/10 | 16:00-18:00 | G | theory | What is a logical system? (and a playground) |
| 5t | Mon 05/10 | 11:00-13:00 | P1 | theory | First steps on induction |
| 2l | Tue 06/10 | 11:00-13:00 | N | lab | What a language is made of and Python, with VS Code |
| 6t | Thu 08/10 | 14:00-16:00 | P1 | theory | More induction |
| 7t | Fri 09/10 | 16:00-18:00 | G | theory | Rule induction |
| 8t | Mon 12/10 | 11:00-13:00 | P1 | theory | Operational equivalence and well-founded recursion |
| 3l | Tue 13/10 | 11:00-13:00 | N | lab | Types and pattern matching in Python |
| 4l | Mon 19/10 | 11:00-13:00 | P1 | lab | A mini interpreter |
| 9t | Tue 20/10 | 11:00-13:00 | N | theory | Complete partial orders |
| 10t | Thu 22/10 | 14:00-16:00 | P1 | theory | Fixed points theorems |
| 11t | Fri 23/10 | 16:00-18:00 | G | theory | Denotational semantics of commands |
| 5l | Mon 26/10 | 11:00-13:00 | P1 | lab | Semantic domains |
| 12t | Tue 27/10 | 11:00-13:00 | N | theory | Consistency and congruence |
| 1e | Thu 29/10 | ----------- | -- | exe | A few exercises on CPOs (with solutions) |
| 2e | Fri 30/10 | ----------- | -- | exe | A few exercises on semantics |
| 13t | Tue 03/11 | 11:00-13:00 | N | theory | HOFL: Syntax and types |
| 14t | Thu 05/11 | 14:00-16:00 | P1 | theory | HOFL: Operational semantics |
| 6l | Fri 06/11 | 16:00-18:00 | P1 | lab | Binding and scoping |
| 15t | Tue 10/11 | 11:00-13:00 | N | theory | Domains (possibly lifted) |
| 16t | Thu 12/11 | 14:00-16:00 | P1 | theory | HOFL: Denotational semantics |
| 17t | Fri 13/11 | 16:00-18:00 | P1 | theory | Is HOFL consistent? |
| 7l | Mon 16/11 | 11:00-13:00 | P1 | lab | Laboratorio |
| 8l | Tue 17/11 | 11:00-13:00 | N | lab | Laboratorio |
| -- | Thu 19/11 | ----------- | -- | --- | Assenza docente |
| -- | Fri 20/11 | ----------- | -- | --- | Assenza docente |
| 9l | Mon 23/11 | 11:00-13:00 | P1 | lab | Laboratorio |
| 3e | Tue 24/11 | 11:00-13:00 | N | exe | A few exercises on HOFL |
| 10l | Thu 26/11 | 14:00-16:00 | P1 | lab | Laboratorio |
| -- | Fri 27/11 | ---------- | -- | --- | Assenza docente |
| 18t | Mon 30/11 | 11:00-13:00 | P1 | theory | A calculus of communicating systems |
| 19t | Tue 01/12 | 11:00-13:00 | N | theory | Towards bisimulation |
| 20t | Thu 03/12 | 14:00-16:00 | P1 | theory | Bisimulation for CCS |
| 21t | Fri 04/12 | 16:00-18:00 | G | theory | More bisimulation |
| 22t | Mon 07/12 | 11:00-13:00 | P1 | theory | Hennessy-Milner logic |
| 23t | Thu 10/12 | 14:00-16:00 | P1 | theory | Weak bisimulation |
| 4e | Fri 11/12 | 16:00-18-00 | G | exe | A few exercises on CCS |