| 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 | Laboratorio |
| 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 | Laboratorio |
| 11t | Tue 27/10 | 11:00-13:00 | N | theory | Teoria |
| -- | Thu 29/10 | ----------- | -- | --- | Assenza docente |
| 12t | Fri 30/10 | 16:00-18:00 | G | theory | Teoria (forse) |
| 6l | Mon 02/11 | 11:00-13:00 | P1 | lab | Laboratorio |